{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"analyzer","owner":"goblint","isFork":false,"description":"Static analysis framework for C","topicNames":["c","static-code-analysis","static-analysis","ocaml","program-analysis","software-verification","abstract-interpretation","race-detection","race-conditions"],"topicsNotShown":0,"allTopics":["c","static-code-analysis","static-analysis","ocaml","program-analysis","software-verification","abstract-interpretation","race-detection","race-conditions"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":36,"issueCount":173,"starsCount":154,"forksCount":72,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:22:09.556Z"}},{"type":"Public","name":"bench","owner":"goblint","isFork":false,"description":"The benchmark suite","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":9,"issueCount":36,"starsCount":4,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T16:07:50.756Z"}},{"type":"Public","name":"GobExec","owner":"goblint","isFork":false,"description":"GobExec – because BenchExec isn't enough","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":17,"starsCount":1,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T20:53:05.563Z"}},{"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T08:01:46.964Z"}},{"type":"Public","name":"gobview","owner":"goblint","isFork":false,"description":"Frontend for goblint written with jsoo-react","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":5,"issueCount":5,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T09:21:43.597Z"}},{"type":"Public","name":"GobWeb","owner":"goblint","isFork":false,"description":"Website for the Static Analyzer Goblint","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,3,2,0,0,0,0,0,0,0,0,3,1,0,2,0,1,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T09:23:15.544Z"}},{"type":"Public","name":"cil","owner":"goblint","isFork":true,"description":"C Intermediate Language","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":3,"issueCount":25,"starsCount":39,"forksCount":83,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-26T16:24:30.864Z"}},{"type":"Public","name":"GobPie","owner":"goblint","isFork":false,"description":"Goblint IDE integration via MagpieBridge","topicNames":["vscode","vscode-extension"],"topicsNotShown":0,"allTopics":["vscode","vscode-extension"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":10,"starsCount":5,"forksCount":3,"license":"MIT License","participation":[0,5,5,7,0,1,0,1,0,0,0,8,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T16:54:28.726Z"}},{"type":"Public","name":"g2html","owner":"goblint","isFork":false,"description":"Goblint XML result to HTML converter","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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","topicNames":["c","static-code-analysis","static-analysis","actions","action","github-actions"],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":67,"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","topicNames":[],"topicsNotShown":0,"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":117,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-06T12:03:17.728Z"}},{"type":"Public","name":"linux-headers","owner":"goblint","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"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":"","topicNames":[],"topicsNotShown":0,"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":"","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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":"Repositories"}