( 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
764The CompCert formally-verified C compiler
736Homotopy type theory
550This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
454An axiom-free formalization of category theory in Coq for personal study and practical work
447A framework for formally verifying distributed systems implementations in Coq
318Formal Reasoning About Programs
239Convert Haskell source code to Coq source code
198Voevodsky's original development of the univalent foundations of mathematics in Coq
187Verified Software Toolchain
181FSCQ is a certified file system written and proven in Coq
172Cryptographic Primitive Code Generation by Fiat
165Tricks you wish the Coq manual told you
153A blog engine written and proven in Coq.
149Randomized Property-Based Testing Plugin for Coq
134Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
124A library for formalizing Haskell types and functions in Coq
120The Vellvm II coq development.
114A selection of formal developments in Coq.
112A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
108An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
105Mindless, verified (erasably) coding using dependent types
104A function definition package for Coq
100Coq formalizations of functional languages.
99PeaCoq is a pretty Coq, isn't it?
614 Followers 100+
0 Repos per User
repos.Total / users.Total