( 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
780The CompCert formally-verified C compiler
754Homotopy type theory
569This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
465An axiom-free formalization of category theory in Coq for personal study and practical work
454A framework for formally verifying distributed systems implementations in Coq
326Formal Reasoning About Programs
312Documenting the Xilinx 7-series bit-stream format.
239Convert Haskell source code to Coq source code
199Voevodsky's original development of the univalent foundations of mathematics in Coq
196Verified Software Toolchain
186FSCQ is a certified file system written and proven in Coq
179Tricks you wish the Coq manual told you
178Cryptographic Primitive Code Generation by Fiat
152Randomized Property-Based Testing Plugin for Coq
152A blog engine written and proven in Coq.
135Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
128The Vellvm (Verified LLVM) coq development.
125A library for formalizing Haskell types and functions in Coq
119A Learning Environment for Theorem Proving with the Coq proof assistant
119A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
116A selection of formal developments in Coq.
111Recipe for FPGA cooking
109An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
107A function definition package for Coq
106Metaprogramming in Coq
630 Followers 100+
0 Repos per User
repos.Total / users.Total