Coq LibHunt

Discover popular and related Coq open-source projects
11
6
8
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
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