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