{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"analyzer","owner":"goblint","isFork":false,"description":"Static analysis framework for C","allTopics":["c","static-code-analysis","static-analysis","ocaml","program-analysis","software-verification","abstract-interpretation","race-detection","race-conditions"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":31,"issueCount":191,"starsCount":172,"forksCount":72,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T16:38:11.808Z"}},{"type":"Public","name":"bench","owner":"goblint","isFork":false,"description":"The benchmark suite","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":8,"issueCount":36,"starsCount":4,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T08:29:30.761Z"}},{"type":"Public","name":"GobPie","owner":"goblint","isFork":false,"description":"Goblint IDE integration via MagpieBridge","allTopics":["vscode","vscode-extension"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":8,"starsCount":8,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T12:57:08.556Z"}},{"type":"Public","name":"cil","owner":"goblint","isFork":true,"description":"C Intermediate Language","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":4,"issueCount":25,"starsCount":40,"forksCount":86,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T12:59:58.974Z"}},{"type":"Public","name":"gobview","owner":"goblint","isFork":false,"description":"Frontend for goblint written with jsoo-react","allTopics":[],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":7,"issueCount":6,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T07:18:29.071Z"}},{"type":"Public","name":"GobWeb","owner":"goblint","isFork":false,"description":"Website for the Static Analyzer Goblint","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-28T13:32:20.521Z"}},{"type":"Public","name":"GobExec","owner":"goblint","isFork":false,"description":"GobExec – because BenchExec isn't enough","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":15,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-28T10:08:26.679Z"}},{"type":"Public","name":"gobcron","owner":"goblint","isFork":false,"description":"Goblint Analyzer nightly 6:30h benchmark for regression testing. Results go to Zulip. Implemented via bash scripts with various helpers.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-28T09:10:34.964Z"}},{"type":"Public","name":"g2html","owner":"goblint","isFork":false,"description":"Goblint XML result to HTML converter","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T10:24:39.917Z"}},{"type":"Public","name":"logo","owner":"goblint","isFork":false,"description":"Goblint logos","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-23T14:52:34.965Z"}},{"type":"Public","name":"sv-witnesses","owner":"goblint","isFork":true,"description":"Goblint-specific extensions to SV-COMP witnesses","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-02T13:35:40.030Z"}},{"type":"Public archive","name":"goblint-http-server","owner":"goblint","isFork":false,"description":"Now included in Gobview","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-11T09:53:01.770Z"}},{"type":"Public","name":"action","owner":"goblint","isFork":false,"description":"GitHub action for analyzing C code using Goblint","allTopics":["c","static-code-analysis","static-analysis","actions","action","github-actions"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-23T12:45:47.096Z"}},{"type":"Public","name":"testing-framework","owner":"goblint","isFork":false,"description":"Testing framework for Goblint","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-15T07:55:58.598Z"}},{"type":"Public","name":"Zarith","owner":"goblint","isFork":true,"description":"The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":69,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-05T14:08:50.311Z"}},{"type":"Public archive","name":"goblint.github.com","owner":"goblint","isFork":false,"description":"GitHub Pages","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-19T11:24:17.173Z"}},{"type":"Public","name":"musl","owner":"goblint","isFork":true,"description":"Unofficial mirror of etalabs musl repository.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":127,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-06T12:03:17.728Z"}},{"type":"Public","name":"linux-headers","owner":"goblint","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-28T23:19:55.824Z"}},{"type":"Public archive","name":"oslc4j-goblint","owner":"goblint","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-03-28T16:20:30.000Z"}},{"type":"Public archive","name":"gconfig","owner":"goblint","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-10-18T10:00:12.000Z"}},{"type":"Public archive","name":"plugin","owner":"goblint","isFork":false,"description":"The Eclipse Plug-In","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-09-30T08:16:32.000Z"}}],"repositoryCount":21,"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":"goblint repositories"}