{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"doc","owner":"coq","isFork":false,"description":"Coq user manual, automatically deployed","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":[12,25,8,7,10,9,11,6,8,15,20,21,10,5,14,15,16,3,6,16,14,26,12,22,10,14,11,10,12,12,10,13,10,17,4,11,13,16,13,20,20,10,20,25,15,12,16,14,12,5,3,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-22T21:40:34.947Z"}},{"type":"Public","name":"coq","owner":"coq","isFork":false,"description":"Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. ","allTopics":["dependent-types","theorem-proving","proof-assistant","coq"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":99,"issueCount":2518,"starsCount":4754,"forksCount":637,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-22T20:47:48.751Z"}},{"type":"Public","name":"platform","owner":"coq","isFork":false,"description":"Multi platform setup for Coq, Coq libraries and tools","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":15,"issueCount":45,"starsCount":187,"forksCount":48,"license":"Creative Commons Zero v1.0 Universal","participation":[1,0,5,1,3,7,2,8,2,9,0,14,2,0,2,3,18,0,0,0,16,4,2,4,0,0,1,1,3,12,5,3,0,0,1,0,0,0,0,0,1,0,4,0,10,10,3,7,0,0,6,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-21T07:38:24.222Z"}},{"type":"Public","name":"opam","owner":"coq","isFork":false,"description":"Archive for all Coq related OPAM packages organized in various repositories","allTopics":["opam-repository","opam","coq"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":7,"issueCount":30,"starsCount":121,"forksCount":135,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-11T17:29:23.401Z"}},{"type":"Public","name":"coq.github.io","owner":"coq","isFork":false,"description":"Source files of the coq.inria.fr website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":15,"starsCount":15,"forksCount":37,"license":"Other","participation":[0,1,2,0,0,13,16,0,0,1,0,1,0,0,0,0,3,0,0,0,0,2,1,0,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,5,0,0,2,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T13:16:25.672Z"}},{"type":"Public","name":"bot","owner":"coq","isFork":false,"description":"A (Coq Development Team) bot written in OCaml","allTopics":["github","github-api","webhook","gitlab-api","github-app","bot","gitlab","ocaml"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":5,"issueCount":107,"starsCount":23,"forksCount":14,"license":"MIT License","participation":[11,0,0,0,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,1,1,14,0,0,0,0,0,1,0,0,0,0,0,2,0,0,0,1,0,0,0,0,9,2,14,1,3,2,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T09:55:03.068Z"}},{"type":"Public","name":"ceps","owner":"coq","isFork":false,"description":"Coq Enhancement Proposals","allTopics":["rfc","coq"],"primaryLanguage":null,"pullRequestCount":47,"issueCount":3,"starsCount":43,"forksCount":31,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T15:38:05.218Z"}},{"type":"Public","name":"stdlib2","owner":"coq","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":14,"starsCount":39,"forksCount":9,"license":"GNU Lesser General Public License v2.1","participation":[0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-17T14:41:08.098Z"}},{"type":"Public","name":"coq-on-cachix","owner":"coq","isFork":false,"description":"This repository follows Coq active branches but is only updated when the latest commit is available as binary on <a href=\"https://coq.cachix.org\" rel=\"nofollow\">https://coq.cachix.org</a>","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-01T20:00:20.906Z"}},{"type":"Public","name":"prerequisites","owner":"coq","isFork":false,"description":"This repository is only used to store tarballs of dependencies of the Coq Platform (see <a href=\"https://github.com/coq/platform\">https://github.com/coq/platform</a>).","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-17T14:00:34.771Z"}},{"type":"Public archive","name":"coq-bench","owner":"coq","isFork":false,"description":"Scripts for differential performance testing of Coq packages / versions","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-08T08:48:17.317Z"}},{"type":"Public","name":"ltac2","owner":"coq","isFork":false,"description":"A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.","allTopics":["coq-plugin"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":31,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-05T12:17:59.000Z"}},{"type":"Public archive","name":"repo-coqs-disabled","owner":"coq","isFork":false,"description":"The repository for Coq versions for developers.","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-03T18:16:00.055Z"}},{"type":"Public archive","name":"roadmaps","owner":"coq","isFork":false,"description":"This was used to prepare the versions 8.6-8.8.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-26T09:28:45.355Z"}},{"type":"Public archive","name":"opam-coq-shell","owner":"coq","isFork":true,"description":"attempt to create a simplified shell for opam when installing coq","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":2,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-05T18:18:45.573Z"}},{"type":"Public archive","name":"repo-unstable-disabled","owner":"coq","isFork":false,"description":"The repository for development packages.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-27T11:06:36.479Z"}},{"type":"Public archive","name":"repo-stable-disabled","owner":"coq","isFork":false,"description":"The repository for stable Coq packages.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-27T11:06:28.334Z"}},{"type":"Public archive","name":"repo-8.5","owner":"coq","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-15T15:52:13.712Z"}}],"repositoryCount":18,"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":"coq repositories"}