( 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
665The CompCert formally-verified C compiler
656Homotopy type theory
460This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
414A framework for formally verifying distributed systems implementations in Coq
404An axiom-free formalization of category theory in Coq for personal study and practical work
287Formal Reasoning About Programs
211Convert Haskell source code to Coq source code
193Voevodsky's original development of the univalent foundations of mathematics in Coq
169FSCQ is a certified file system written and proven in Coq
154Verified Software Toolchain
144A blog engine written and proven in Coq.
135Randomized Property-Based Testing Plugin for Coq
128Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
116Cryptographic Primitive Code Generation by Fiat
115Tricks you wish the Coq manual told you
114A library for formalizing Haskell types and functions in Coq
104Mindless, verified (erasably) coding using dependent types
100The Vellvm II coq development.
98A library of abstract interfaces for mathematical structures in Coq.
98An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
94A selection of formal developments in Coq.
92PeaCoq is a pretty Coq, isn't it?
88A function definition package for Coq
86Coq formalizations of functional languages.
557 Followers 100+
0 Repos per User
repos.Total / users.Total