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