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
Our great sponsors

CoqGym

fiat-crypto

CompCert

sail-riscv

vellvm

InteractionTrees
Mentions Stars Project Description
1 981
HoTT
 Homotopy type theory
1 88
fourcolor
 Formal proof of the Four Color Theorem
1 32
ConCert
 A framework for smart contract verification in Coq

Popular Coq Topics

#coq #Compiler #Comonads #compcert #Compiler Plugin #Consensus #Data #Dependent Types #Distributed Systems #Formal Verification #four-color-theorem #Hardware #homotopy-type-theory #icml-2019 #Linearscan #Machine learning #mathcomp #Profunctor #programming-language #ssreflect #stalin-sort #theorem-proving #type-theory #univalent-foundations #Blockchain

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