{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"qcert","owner":"querycert","isFork":false,"description":"Compilation and Verification of Data-Centric Languages","allTopics":["sql","compiler","functional-programming","verification","query-engine","query-language","verified-compiler","coq-proof-assistant"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":34,"starsCount":55,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-08T16:39:33.002Z"}},{"type":"Public","name":"opam-coq-archive","owner":"querycert","isFork":true,"description":"Archive for all Coq related OPAM packages organized in various repositories","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":135,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-01T17:06:26.481Z"}},{"type":"Public","name":"querycert.github.io","owner":"querycert","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T20:05:25.217Z"}},{"type":"Public","name":"jsast","owner":"querycert","isFork":true,"description":"A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-26T01:22:14.606Z"}},{"type":"Public archive","name":"bug0007833","owner":"querycert","isFork":false,"description":"Documents regression in OCaml type checker","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-30T14:01:46.242Z"}},{"type":"Public","name":"coq2html","owner":"querycert","isFork":true,"description":"An HTML documentation generator for Coq source files","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-22T17:29:39.866Z"}}],"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":"Repositories"}