( 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
562Homotopy type theory
497The CompCert formally-verified C compiler
365A framework for formally verifying distributed systems implementations in Coq
355This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
322An axiom-free formalization of category theory in Coq for personal study and practical work
230Formal Reasoning About Programs
190Voevodsky's original development of the univalent foundations of mathematics in Coq
150Convert Haskell source code to Coq source code
141FSCQ is a certified file system written and proven in Coq
140A blog engine written and proven in Coq.
102Mindless, verified (erasably) coding using dependent types
100A library for formalizing Haskell types and functions in Coq
96Verified Software Toolchain
91Randomized Property-Based Testing Plugin for Coq
89PeaCoq is a pretty Coq, isn't it?
81A library of abstract interfaces for mathematical structures in Coq.
73Cryptographic Primitive Code Generation by Fiat
70A selection of formal developments in Coq.
64Coq formalizations of functional languages.
63An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
62Formalising Type Theory in a modular way for translations between type theories
62A proof of false.
477 Followers 100+
0 Repos per User
repos.Total / users.Total