Updated : 2020-07-06 00:30:32 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

4006
New

/search/repositories?q=language:Coq+created:2020-07-05

2
Increase rate

( New / Total ) * 100

0.05%
Activity
Update

/search/repositories?q=language:Coq+pushed:2020-07-05

27
Update Rate

( Update / Total ) * 100

0.67%
Sleeping

/search/repositories?q=language:Coq+pushed:<2019-07-05

2567
Stars
Star 1000+

/search/repositories?q=language:Coq+stars:>=1000

0
Star 100+

/search/repositories?q=language:Coq+stars:>=100

37
Sum stars of Top 30 repos

sum ( repos.stars )

8905
Forks
Fork 1000+ Repos

/search/repositories?q=language:Coq+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Coq+forks:>=100

4
Sum forks of Top 30 repos

sum ( repos.forks )

1505

Top Star Repos

/search/repositories?q=language:Coq&sort=stars&order=desc&per_page=30

  1. 887
    The CompCert formally-verified C compiler
  2. 878
    Homotopy type theory
  3. 756
    Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
  4. 632
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  5. 528
    An axiom-free formalization of category theory in Coq for personal study and practical work
  6. 483
    A framework for formally verifying distributed systems implementations in Coq
  1. 426
    Formal Reasoning About Programs
  2. 312
    A tiny Open POWER ISA softcore written in VHDL 2008
  3. 304
    Mathematical Components
  4. 267
    Convert Haskell source code to Coq source code
  5. 255
    Cryptographic Primitive Code Generation by Fiat
  6. 243
    Verified Software Toolchain
  7. 236
    Tricks you wish the Coq manual told you
  8. 208
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  9. 198
    FSCQ is a certified file system written and proven in Coq
  10. 193
    The Vellvm (Verified LLVM) coq development.
  11. 183
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  12. 172
    Randomized Property-Based Testing Plugin for Coq
  13. 172
    🐣 A blog engine written and proven in Coq
  14. 167
    Metaprogramming in Coq
  15. 159
    A Learning Environment for Theorem Proving with the Coq proof assistant
  16. 150
    Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
  17. 147
    A function definition package for Coq
  18. 143
    Recipe for FPGA cooking
  19. 137
    Small footprint and configurable PCIe core
  20. 137
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  21. 135
    Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  22. 133
    A selection of formal proofs in Coq.
  23. 132
    A library for formalizing Haskell types and functions in Coq
  24. 132
    A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

New Repos

/search/repositories?q=language:Coq+created:2020-07-05&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Coq

764
Followers 100+

/search/users?q=language:Coq+followers:>=100

0
Repos per User

repos.Total / users.Total

5.24