{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"vscoq","owner":"coq-community","isFork":false,"description":"A Visual Studio Code extension for Coq [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/rtetley/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/rtetley\">@rtetley</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/maximedenes/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/maximedenes\">@maximedenes</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/huynhtrankhanh/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/huynhtrankhanh\">@huynhtrankhanh</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/thery/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/thery\">@thery</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/Blaisorblade/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/Blaisorblade\">@Blaisorblade</a>]","allTopics":["editor","coq","vscode","vscode-extension","vscodium"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":7,"issueCount":109,"starsCount":312,"forksCount":64,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T15:01:30.047Z"}},{"type":"Public","name":"coq-nix-toolbox","owner":"coq-community","isFork":false,"description":"Nix helper scripts to automate local builds and CI [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/CohenCyril/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/CohenCyril\">@CohenCyril</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/Zimmi48/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/Zimmi48\">@Zimmi48</a>]","allTopics":["coq","nix"],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":3,"issueCount":28,"starsCount":31,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T05:13:21.100Z"}},{"type":"Public","name":"coq-performance-tests-plots-history","owner":"coq-community","isFork":false,"description":"Maintaining plot history for coq-community/coq-performance-tests gh-pages branch [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/JasonGross/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/JasonGross\">@JasonGross</a>]","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T08:53:09.120Z"}},{"type":"Public","name":"coq-performance-tests","owner":"coq-community","isFork":false,"description":"A library of Coq source files testing for performance regressions on Coq [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/JasonGross/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/JasonGross\">@JasonGross</a>]","allTopics":["testing","performance","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":2,"issueCount":1,"starsCount":6,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T08:46:50.937Z"}},{"type":"Public","name":"run-coq-bug-minimizer","owner":"coq-community","isFork":false,"description":"Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/JasonGross/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/JasonGross\">@JasonGross</a>]","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":7,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T19:27:43.266Z"}},{"type":"Public","name":"coq-ext-lib","owner":"coq-community","isFork":false,"description":"A library of Coq definitions, theorems, and tactics. [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/gmalecha/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/gmalecha\">@gmalecha</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/liyishuai/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/liyishuai\">@liyishuai</a>] ","allTopics":["library","programming","coq","coq-ci","coq-platform"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":16,"starsCount":124,"forksCount":45,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T07:15:57.216Z"}},{"type":"Public","name":"templates","owner":"coq-community","isFork":false,"description":"Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/palmskog/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/palmskog\">@palmskog</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/Zimmi48/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/Zimmi48\">@Zimmi48</a>]","allTopics":["continuous-integration","mustache-templates","coq"],"primaryLanguage":{"name":"Mustache","color":"#724b3b"},"pullRequestCount":5,"issueCount":20,"starsCount":12,"forksCount":8,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T06:35:14.142Z"}},{"type":"Public","name":"paramcoq","owner":"coq-community","isFork":false,"description":"Coq plugin for parametricity [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/proux01/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/proux01\">@proux01</a>]","allTopics":["coq-plugin","parametricity","docker-coq-action","coq-ci","coq-platform","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":6,"starsCount":44,"forksCount":22,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T13:11:33.921Z"}},{"type":"Public","name":"docker-coq-action","owner":"coq-community","isFork":false,"description":"GitHub Action using Docker-Coq [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/erikmd/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/erikmd\">@erikmd</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/Zimmi48/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/Zimmi48\">@Zimmi48</a>]","allTopics":["continuous-integration","opam","docker-coq","container-ci","docker-coq-action","coq","action","github-actions"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":2,"issueCount":18,"starsCount":12,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T19:04:54.700Z"}},{"type":"Public","name":"awesome-coq","owner":"coq-community","isFork":false,"description":"A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/anton-trunov/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/anton-trunov\">@anton-trunov</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/palmskog/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/palmskog\">@palmskog</a>]","allTopics":["resources","awesome","coq","awesome-list"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":5,"starsCount":291,"forksCount":18,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-05T08:35:02.453Z"}},{"type":"Public","name":"aac-tactics","owner":"coq-community","isFork":false,"description":"Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/palmskog/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/palmskog\">@palmskog</a>]","allTopics":["coq-plugin","coq-tactic","docker-coq-action","nix-action","coq-ci","coq-platform","coq"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":2,"starsCount":29,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T21:33:08.400Z"}},{"type":"Public","name":"coq-dpdgraph","owner":"coq-community","isFork":false,"description":"Build dependency graphs between Coq objects [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/Karmaki/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/Karmaki\">@Karmaki</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/ybertot/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/ybertot\">@ybertot</a>]","allTopics":["dependency-analysis","dependency-graph","docker-coq-action","coq-ci","coq-platform","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":10,"issueCount":9,"starsCount":84,"forksCount":28,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T21:07:45.225Z"}},{"type":"Public","name":"manifesto","owner":"coq-community","isFork":false,"description":"Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.","allTopics":["coq","manifesto","community-driven"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":35,"starsCount":68,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T12:19:04.900Z"}},{"type":"Public","name":"fourcolor","owner":"coq-community","isFork":false,"description":"Formal proof of the Four Color Theorem [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/ybertot/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/ybertot\">@ybertot</a>]","allTopics":["ssreflect","four-color-theorem","mathcomp","coq-ci","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":2,"issueCount":0,"starsCount":151,"forksCount":19,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T07:58:09.829Z"}},{"type":"Public","name":"trocq","owner":"coq-community","isFork":false,"description":"A modular parametricity plugin for proof transfer in Coq [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/CohenCyril/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/CohenCyril\">@CohenCyril</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/ecranceMERCE/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/ecranceMERCE\">@ecranceMERCE</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/amahboubi/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/amahboubi\">@amahboubi</a>]","allTopics":["coq","parametricity"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":4,"issueCount":14,"starsCount":14,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T11:18:03.948Z"}},{"type":"Public","name":"stalmarck","owner":"coq-community","isFork":false,"description":"Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/palmskog/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/palmskog\">@palmskog</a>]","allTopics":["coq","tautology","coq-plugin","tautology-checking","coq-extraction","docker-coq-action","nix-action","coq-ci"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T17:16:54.384Z"}},{"type":"Public","name":"atbr","owner":"coq-community","isFork":false,"description":"Coq library and tactic for deciding Kleene algebras [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/tchajed/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/tchajed\">@tchajed</a>]","allTopics":["coq","coq-tactic","kleene-algebra","coq-ci"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T17:13:59.948Z"}},{"type":"Public","name":"corn","owner":"coq-community","isFork":false,"description":"Coq Repository at Nijmegen [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/spitters/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/spitters\">@spitters</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/VincentSe/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/VincentSe\">@VincentSe</a>]","allTopics":["coq-library","real-number","coq-ci","coq-platform","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":8,"starsCount":108,"forksCount":43,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T14:20:07.671Z"}},{"type":"Public","name":"math-classes","owner":"coq-community","isFork":false,"description":"A library of abstract interfaces for mathematical structures in Coq [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/spitters/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/spitters\">@spitters</a>]","allTopics":["mathematics","typeclasses","coq-library","coq-ci","coq-platform","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":9,"starsCount":158,"forksCount":42,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T12:55:10.828Z"}},{"type":"Public","name":"docker-base","owner":"coq-community","isFork":false,"description":"Parent image for Docker images of the Coq proof assistant [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/erikmd/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/erikmd\">@erikmd</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/himito/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/himito\">@himito</a>]","allTopics":["coq","docker-coq"],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T09:08:21.653Z"}},{"type":"Public","name":"bignums","owner":"coq-community","isFork":false,"description":"Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/proux01/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/proux01\">@proux01</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/erikmd/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/erikmd\">@erikmd</a>]","allTopics":["large-numbers","coq-plugin","docker-coq-action","coq-ci","coq-platform","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":1,"starsCount":22,"forksCount":21,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T07:37:35.271Z"}},{"type":"Public","name":"coqeal","owner":"coq-community","isFork":false,"description":"The Coq Effective Algebra Library [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/CohenCyril/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/CohenCyril\">@CohenCyril</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/proux01/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/proux01\">@proux01</a>]","allTopics":["coq","refinement","mathcomp","coq-ci","coq-platform","mathcomp-ci"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":3,"issueCount":5,"starsCount":64,"forksCount":15,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T14:12:41.783Z"}},{"type":"Public","name":"bits","owner":"coq-community","isFork":false,"description":"A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/anton-trunov/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/anton-trunov\">@anton-trunov</a>]","allTopics":["bitset","coq-library","ssreflect","paper-artifacts","coq-extraction","coq","mathcomp"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":3,"starsCount":22,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T16:41:16.888Z"}},{"type":"Public","name":"apery","owner":"coq-community","isFork":false,"description":"A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/amahboubi/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/amahboubi\">@amahboubi</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/pi8027/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/pi8027\">@pi8027</a>]","allTopics":["ssreflect","mathcomp","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":4,"starsCount":19,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-20T22:12:30.080Z"}},{"type":"Public","name":"graph-theory","owner":"coq-community","isFork":false,"description":"Graph Theory [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/chdoc/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/chdoc\">@chdoc</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/damien-pous/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/damien-pous\">@damien-pous</a>]","allTopics":["coq","graph-theory","mathcomp","docker-coq-action","mathcomp-ci"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":2,"starsCount":29,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-20T15:55:04.898Z"}},{"type":"Public","name":"coq-100-theorems","owner":"coq-community","isFork":false,"description":"Statements of famous theorems proven in Coq [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/jmadiot/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/jmadiot\">@jmadiot</a>]","allTopics":["coq","theorems"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":2,"starsCount":55,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T17:05:55.511Z"}},{"type":"Public","name":"docker-coq","owner":"coq-community","isFork":false,"description":"Docker images of the Coq proof assistant (see also: <a href=\"https://github.com/coq-community/docker-coq-action\">https://github.com/coq-community/docker-coq-action</a>) [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/erikmd/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/erikmd\">@erikmd</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/himito/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/himito\">@himito</a>]","allTopics":["ci","coq","opam","docker-coq","dockerfile","docker-image"],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":5,"starsCount":36,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T22:01:11.231Z"}},{"type":"Public","name":"hydra-battles","owner":"coq-community","isFork":false,"description":"Variations on Kirby &amp; Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/Casteran/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/Casteran\">@Casteran</a>]","allTopics":["discrete-mathematics","formal-proofs","primitive-recursive-functions","ordinal-notations","docker-coq-action","hydra-battles","coq-nix-toolbox","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":5,"issueCount":7,"starsCount":60,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T16:13:36.868Z"}},{"type":"Public","name":"metaprogramming-rosetta-stone","owner":"coq-community","isFork":false,"description":"A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/yforster/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/yforster\">@yforster</a>]","allTopics":["metaprogramming","coq","coq-plugin"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":4,"issueCount":7,"starsCount":16,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-07T19:27:07.137Z"}},{"type":"Public","name":"notation-gallery","owner":"coq-community","isFork":false,"description":"Examples showing best practices for using Coq notations and custom entries [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/bcpierce00/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/bcpierce00\">@bcpierce00</a>]","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T09:55:30.641Z"}}],"repositoryCount":70,"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"}