( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
617Homotopy type theory
577The CompCert formally-verified C compiler
417This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
390A framework for formally verifying distributed systems implementations in Coq
377An axiom-free formalization of category theory in Coq for personal study and practical work
260Formal Reasoning About Programs
194Voevodsky's original development of the univalent foundations of mathematics in Coq
193Convert Haskell source code to Coq source code
153FSCQ is a certified file system written and proven in Coq
143A blog engine written and proven in Coq.
123Verified Software Toolchain
116Randomized Property-Based Testing Plugin for Coq
111A library for formalizing Haskell types and functions in Coq
104Mindless, verified (erasably) coding using dependent types
99Tricks you wish the Coq manual told you
97Cryptographic Primitive Code Generation by Fiat
94A library of abstract interfaces for mathematical structures in Coq.
91PeaCoq is a pretty Coq, isn't it?
82An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
78A formalization of category theory in the Coq proof assistant.
77Coq formalizations of functional languages.
77A selection of formal developments in Coq.
74The Vellvm II coq development.
524 Followers 100+
0 Repos per User
repos.Total / users.Total