{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"jscert","owner":"jscert","isFork":false,"description":"A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":7,"starsCount":196,"forksCount":11,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-05T11:25:32.894Z"}},{"type":"Public","name":"jsexplain","owner":"jscert","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":4,"issueCount":27,"starsCount":26,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-18T19:24:34.894Z"}},{"type":"Public","name":"fjs_of_fml","owner":"jscert","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":4,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-10T12:04:12.805Z"}},{"type":"Public","name":"opam-repository","owner":"jscert","isFork":true,"description":"Main public package repository for OPAM, the source package manager of OCaml.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1123,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-23T08:16:11.394Z"}}],"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":"jscert repositories"}