{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"klever","owner":"ldv-klever","isFork":false,"description":"Read-only mirror of the Klever Git repository ","allTopics":["c","static-analysis","verification","specification","model-checking","formal-methods","software-verification","formal-verification","formal-specification"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":20,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T01:08:05.863Z"}},{"type":"Public","name":"aspectator","owner":"ldv-klever","isFork":false,"description":"Read-only mirror of the Aspectator Git repository ","allTopics":["aspect-oriented-programming"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-30T09:31:50.115Z"}},{"type":"Public","name":"cif","owner":"ldv-klever","isFork":false,"description":"Read-only mirror of the CIF Git repository ","allTopics":["instrumentation","aspect-oriented-programming","gcc-compiler","weaving","gcc-cross-compiler","c-backend","source-code-query"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-08T08:03:08.341Z"}},{"type":"Public","name":"framac","owner":"ldv-klever","isFork":false,"description":"Read-only mirror of the AstraVer Toolset Git repository ","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-29T08:31:33.643Z"}}],"repositoryCount":4,"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"}