Dépôts Coq
29 dépôts Coq au catalogue, du plus étoilé au moins étoilé.
- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- princeton-vl/CoqGymÉtoiles : 422CoqAlpha
- antalsz/hs-to-coqÉtoiles : 283CoqAlpha
- lulinchen/cnn_openÉtoiles : 262CoqAlpha
- mit-pdos/fscqÉtoiles : 252CoqAlpha
- hacspec/hacspecÉtoiles : 250CoqAlpha
- UniMath/FoundationsÉtoiles : 247CoqPrototype
- sifive/KamiÉtoiles : 232CoqPrototype
- jscert/jscertÉtoiles : 208CoqPrototype
- barry-jay-personal/tree-calculusÉtoiles : 206CoqPrototype
- uwplse/verdi-raftÉtoiles : 204CoqPrototype
- clarus/coq-chick-blogÉtoiles : 181CoqPrototype
- ilyasergey/pnpÉtoiles : 178CoqPrototype
- jwiegley/coq-haskellÉtoiles : 171CoqPrototype
- accordproject/ergoÉtoiles : 171CoqPrototype
- discus-lang/ironÉtoiles : 145CoqPrototype
- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype
- project-oak/silveroakÉtoiles : 133CoqPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype
- inQWIRE/QWIREÉtoiles : 113CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
- clarus/falsoÉtoiles : 105CoqPrototype
- jonleivent/mindless-codingÉtoiles : 104CoqPrototype
- Ptival/PeaCoqÉtoiles : 104CoqPrototype
- DistributedComponents/diselÉtoiles : 103CoqPrototype
- amintimany/CategoriesÉtoiles : 101CoqPrototype