64
97
164
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 3 | 235 | Please see https://github.com/hacspec/hax |
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
| Stars | Project |
|---|---|
| 235 | hacspec |
| 0 | type-experiments |
| 1,457 | stalin-sort |
| 1,757 | CompCert |
| 136 | kami |
| 6 | bfcoq |
| 383 | sail-riscv |
| 1,211 | Coq-HoTT |
| 369 | CoqGym |
| 285 | proofs |
| 99 | riscv-coq |
| 803 | magmide |
| 908 | UniMath |
| 684 | fiat-crypto |
| 544 | math-comp |
| 180 | analysis |
| 5 | finite |
| 149 | fourcolor |
| 28 | coq-simple-io |
| 12 | regexp-Brzozowski |
Latest Discoveries
Latest discovered Coq repos
| Stars | Project |
|---|---|
| 0 | type-experiments |
| 6 | bfcoq |
| 99 | riscv-coq |
| 180 | analysis |
| 544 | math-comp |
| 5 | finite |
| 908 | UniMath |
| 0 | recross-coq |
| 12 | regexp-Brzozowski |
| 67 | Schools |
| 0 | traversable-fincontainer |
| 221 | jasmin |
| 9 | diffgeo |
| 24 | cps |
| 30 | aneris |
| 285 | proofs |
| 48 | rupicola |
| 2 | strong-induction |
| 59 | name-the-biggest-number |
| 2 | haskell-coq |