Coq LibHunt

Discover popular and related Coq open-source projects

28
25
28
Our greats ponsors
  • Scout APM - Leading-edge performance monitoring starting at $39/month
  • SaaSHub - Software Alternatives and Reviews
Mentions Stars Project Description
1 981 Homotopy type theory
1 88 Formal proof of the Four Color Theorem
1 32 A framework for smart contract verification in Coq

Popular Coq Topics

Latest Mentions

Latest mentioned Coq repos
Stars Project
981 HoTT
32 ConCert
88 fourcolor
76 silveroak
1 coq-ski
1,043 CompCert
9 picodma-fpga
18 algorand-verification
164 Coq-Equations
912 stalin-sort
6 wbspi
66 coq-library-undecidability
4 doubly-generic
39 unbound
1 cartier
116 sail-riscv
251 vellvm
136 InteractionTrees
93 toychain
389 fiat-crypto

Latest Discoveries

Latest discovered Coq repos
Stars Project
32 ConCert
88 fourcolor
76 silveroak
1 coq-ski
9 picodma-fpga
18 algorand-verification
164 Coq-Equations
6 wbspi
66 coq-library-undecidability
4 doubly-generic
981 HoTT
1 cartier
116 sail-riscv
251 vellvm
136 InteractionTrees
93 toychain
214 CoqGym
1,043 CompCert
40 safegcd-bounds
912 stalin-sort