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 |