{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"pyre-check","owner":"facebook","isFork":false,"description":"Performant type-checking for python.","allTopics":["python","security","typechecker","static-analysis","ocaml","control-flow-analysis","code-quality","program-analysis","taint-analysis","abstract-interpretation","type-check"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":32,"issueCount":130,"starsCount":6711,"forksCount":429,"license":"MIT License","participation":[13,20,38,18,19,13,21,63,26,41,31,53,48,33,36,31,42,21,18,27,24,18,18,42,23,38,41,62,16,2,13,23,28,40,42,45,56,28,66,20,24,20,27,42,43,37,53,45,97,49,40,32],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T08:37:57.611Z"}},{"type":"Public","name":"flow","owner":"facebook","isFork":false,"description":"Adds static typing to JavaScript to improve developer productivity and code quality.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":40,"issueCount":1211,"starsCount":22086,"forksCount":1849,"license":"MIT License","participation":[49,59,27,40,44,22,21,25,28,29,27,48,35,22,24,21,20,29,24,48,39,39,44,39,3,36,20,34,23,1,23,28,58,51,59,43,43,19,38,31,34,37,22,48,29,25,61,52,40,10,8,18],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T01:04:22.179Z"}},{"type":"Public","name":"infer","owner":"facebook","isFork":false,"description":"A static analyzer for Java, C, C++, and Objective-C","allTopics":["c","objective-c","cpp","static-code-analysis","static-analysis","code-quality","java"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":6,"issueCount":405,"starsCount":14756,"forksCount":1997,"license":"MIT License","participation":[22,40,27,33,27,13,26,26,41,25,15,23,19,21,42,26,34,48,66,35,41,38,60,26,15,28,27,13,11,0,1,10,20,27,18,20,19,40,18,32,28,48,44,23,19,14,14,24,21,32,34,40],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T18:10:12.598Z"}}],"repositoryCount":3,"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"}