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