( 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
597Homotopy type theory
544The CompCert formally-verified C compiler
390This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
381A framework for formally verifying distributed systems implementations in Coq
352An axiom-free formalization of category theory in Coq for personal study and practical work
253Formal Reasoning About Programs
189Voevodsky's original development of the univalent foundations of mathematics in Coq
168Convert Haskell source code to Coq source code
146FSCQ is a certified file system written and proven in Coq
142A blog engine written and proven in Coq.
111Verified Software Toolchain
109Randomized Property-Based Testing Plugin for Coq
104Mindless, verified (erasably) coding using dependent types
103A library for formalizing Haskell types and functions in Coq
91A library of abstract interfaces for mathematical structures in Coq.
89PeaCoq is a pretty Coq, isn't it?
89Cryptographic Primitive Code Generation by Fiat
88Tricks you wish the Coq manual told you
80An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
77A selection of formal developments in Coq.
77A formalization of category theory in the Coq proof assistant.
75Coq formalizations of functional languages.
66Formalising Type Theory in a modular way for translations between type theories
510 Followers 100+
0 Repos per User
repos.Total / users.Total