Coq LibHunt

Discover popular and related Coq open-source projects

30
32
38
Our greats ponsors
  • Scout APM Scout APM: A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
Mentions Stars Project Description
- 1,274 The CompCert formally-verified C compiler
- 987 Homotopy type theory
- 928 Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
- 394 Cryptographic Primitive Code Generation by Fiat
- 254 The Vellvm (Verified LLVM) coq development.
- 226 A Learning Environment for Theorem Proving with the Coq proof assistant
- 163 A function definition package for Coq
- 139 A Library for Representing Recursive and Impure Programs in Coq
- 122 Sail RISC-V model
- 99 Coq Repository at Nijmegen [[email protected],@VincentSe]
- 95 Formal proof of the Four Color Theorem
- 94 A minimalistic blockchain consensus implemented and verified in Coq
- 79 Formal specification and verification of hardware, especially for security and privacy.
- 65 A library of mechanised undecidability proofs in the Coq proof assistant.
- 63 64x64 LED Cube based on the Colorlight 5a-75B LED driver board.
- 60 A compiler plug-in to control object lifetimes in Scala
- 40 Replib: generic programming & Unbound: generic treatment of binders
- 40 Bounds on divsteps iterations in safegcd
- 31 Bidirectional programming in Haskell with monadic profunctors
- 31 A framework for smart contract verification in Coq

Popular Coq Topics

Latest Mentions

Latest mentioned Coq repos
Stars Project
99 corn
1,274 CompCert
0 coq-proof
987 HoTT
31 ConCert
95 fourcolor
79 silveroak
5 coq-ski
9 picodma-fpga
18 algorand-verification
163 Coq-Equations
928 stalin-sort
6 wbspi
65 coq-library-undecidability
4 doubly-generic
40 unbound
1 cartier
122 sail-riscv
254 vellvm
139 InteractionTrees

Latest Discoveries

Latest discovered Coq repos
Stars Project
99 corn
0 coq-proof
31 ConCert
95 fourcolor
79 silveroak
5 coq-ski
9 picodma-fpga
18 algorand-verification
163 Coq-Equations
6 wbspi
65 coq-library-undecidability
4 doubly-generic
987 HoTT
1 cartier
122 sail-riscv
254 vellvm
139 InteractionTrees
94 toychain
226 CoqGym
1,274 CompCert