Coq GitHub repos
29 Coq repos in the catalog, most starred first.
- rocq-community/rocq-tricksStars: 556CoqAlpha
- princeton-vl/CoqGymStars: 422CoqAlpha
- antalsz/hs-to-coqStars: 283CoqAlpha
- lulinchen/cnn_openStars: 262CoqAlpha
- mit-pdos/fscqStars: 252CoqAlpha
- hacspec/hacspecStars: 250CoqAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- sifive/KamiStars: 232CoqPrototype
- jscert/jscertStars: 208CoqPrototype
- barry-jay-personal/tree-calculusStars: 206CoqPrototype
- uwplse/verdi-raftStars: 204CoqPrototype
- clarus/coq-chick-blogStars: 181CoqPrototype
- ilyasergey/pnpStars: 178CoqPrototype
- jwiegley/coq-haskellStars: 171CoqPrototype
- accordproject/ergoStars: 171CoqPrototype
- discus-lang/ironStars: 145CoqPrototype
- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype
- project-oak/silveroakStars: 133CoqPrototype
- rocq-community/coq-artStars: 131CoqPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype
- inQWIRE/QWIREStars: 113CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype
- clarus/falsoStars: 105CoqPrototype
- jonleivent/mindless-codingStars: 104CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype
- DistributedComponents/diselStars: 103CoqPrototype
- amintimany/CategoriesStars: 101CoqPrototype