{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"CompCert","owner":"AbsInt","isFork":false,"description":"The CompCert formally-verified C compiler","allTopics":["c","compiler","coq","compcert"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":11,"issueCount":25,"starsCount":1798,"forksCount":221,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T11:41:50.564Z"}},{"type":"Public","name":"CompCert-AbsInt-Releases","owner":"AbsInt","isFork":false,"description":"AbsInt releases of the CompCert formally-verified C compiler","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T12:37:25.046Z"}},{"type":"Public","name":"CompCert-small-tests","owner":"AbsInt","isFork":false,"description":"A small test suite for the CompCert C verified compiler","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T16:53:37.902Z"}},{"type":"Public","name":"FirstAid","owner":"AbsInt","isFork":false,"description":"PDF Help Viewer","allTopics":["pdf","viewer","pdf-viewer","libpoppler"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T09:20:47.324Z"}},{"type":"Public","name":"qt6","owner":"AbsInt","isFork":false,"description":"Qt 6.x Sources for AbsInt Tools","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T09:20:12.273Z"}},{"type":"Public","name":"picolibc","owner":"AbsInt","isFork":true,"description":"\n<a class=\"user-mention\" data-hovercard-type=\"organization\" data-hovercard-url=\"/orgs/AbsInt/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/AbsInt\">@AbsInt</a>'s work-in-progress changes for picolibc. We recommend using the official repository:","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":161,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-31T12:04:19.514Z"}},{"type":"Public","name":"meson","owner":"AbsInt","isFork":true,"description":"\n<a class=\"user-mention\" data-hovercard-type=\"organization\" data-hovercard-url=\"/orgs/AbsInt/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/AbsInt\">@AbsInt</a>'s work-in-progress changes to The Meson Build System - please use the upstream repository at <a href=\"https://github.com/mesonbuild/meson\">https://github.com/mesonbuild/meson</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1530,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-18T10:04:32.207Z"}},{"type":"Public","name":"app4mc-plugin","owner":"AbsInt","isFork":false,"description":"APP4MC plugin","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-18T11:29:31.589Z"}},{"type":"Public","name":"itc-benchmarks","owner":"AbsInt","isFork":true,"description":"static analysis benchmarks from Toyota ITC","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":64,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-13T13:00:56.252Z"}}],"repositoryCount":9,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}