( 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
633Homotopy type theory
607The CompCert formally-verified C compiler
435This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
397A framework for formally verifying distributed systems implementations in Coq
383An axiom-free formalization of category theory in Coq for personal study and practical work
266Formal Reasoning About Programs
200Convert Haskell source code to Coq source code
194Voevodsky's original development of the univalent foundations of mathematics in Coq
163FSCQ is a certified file system written and proven in Coq
143A blog engine written and proven in Coq.
132Verified Software Toolchain
124Randomized Property-Based Testing Plugin for Coq
114A library for formalizing Haskell types and functions in Coq
107Tricks you wish the Coq manual told you
105Mindless, verified (erasably) coding using dependent types
104Cryptographic Primitive Code Generation by Fiat
98Hazel, a live functional programming environment with typed holes
94A library of abstract interfaces for mathematical structures in Coq.
92PeaCoq is a pretty Coq, isn't it?
91The Vellvm II coq development.
90An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
83Coq formalizations of functional languages.
81A plugin for Coq to add dependent pattern-matching.
78A selection of formal developments in Coq.
538 Followers 100+
0 Repos per User
repos.Total / users.Total