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 |