11
6
8
| Mentions | Stars | Project | Description |
|---|---|---|---|
| 1 | 979 | The CompCert formally-verified C compiler | |
| 1 | 352 | Cryptographic Primitive Code Generation by Fiat |
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
| Stars | Project |
|---|---|
| 979 | CompCert |
| 352 | fiat-crypto |
| 37 | safegcd-bounds |
| 859 | stalin-sort |
| 60 | colorlight-led-cube |
Latest Discoveries
Latest discovered Coq repos
| Stars | Project |
|---|---|
| 979 | CompCert |
| 37 | safegcd-bounds |
| 859 | stalin-sort |
| 352 | fiat-crypto |
| 60 | colorlight-led-cube |
| 30 | profunctor-monad |
| 6 | urn-random |
| 61 | scala-escape |
| 17 | linearscan |
| 38 | unbound |
| 11 | comonad-transformers |