{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"coccinelle","owner":"coccinelle","isFork":false,"description":"Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":8,"issueCount":260,"starsCount":612,"forksCount":101,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T12:28:11.840Z"}},{"type":"Public","name":"coccinellery","owner":"coccinelle","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SmPL","color":"#c94949"},"pullRequestCount":0,"issueCount":2,"starsCount":106,"forksCount":22,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-14T15:12:32.990Z"}},{"type":"Public","name":"herodotos","owner":"coccinelle","isFork":false,"description":"Tracking code patterns through software versions","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":10,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-18T14:53:52.761Z"}},{"type":"Public","name":"faults-in-Linux","owner":"coccinelle","isFork":false,"description":"Experimental bed to study Linux faults","allTopics":["linux","linux-kernel","fault-localization","fault-detection","faults","fault-detection-classification"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":25,"forksCount":12,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-12T09:28:28.631Z"}},{"type":"Public","name":"linux-study-figures","owner":"coccinelle","isFork":false,"description":"http://faultlinux.inria.fr/","allTopics":["linux","linux-kernel","fault-detection","faults"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-30T08:38:36.116Z"}},{"type":"Public","name":"hBugs","owner":"coccinelle","isFork":false,"description":"Compute statistical data about bug reports","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-08-13T15:20:56.000Z"}}],"repositoryCount":6,"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":"coccinelle repositories"}