Updated : 2020-01-29 00:30:35 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

3625
New

/search/repositories?q=language:Coq+created:2020-01-28

6
Increase rate

( New / Total ) * 100

0.17%
Activity
Update

/search/repositories?q=language:Coq+pushed:2020-01-28

39
Update Rate

( Update / Total ) * 100

1.08%
Sleeping

/search/repositories?q=language:Coq+pushed:<2019-01-28

2309
Stars
Star 1000+

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

0
Star 100+

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

32
Sum stars of Top 30 repos

sum ( repos.stars )

7963
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 )

1336

Top Star Repos

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

  1. 824
    The CompCert formally-verified C compiler
  2. 807
    Homotopy type theory
  3. 591
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 511
    Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
  5. 490
    An axiom-free formalization of category theory in Coq for personal study and practical work
  6. 470
    A framework for formally verifying distributed systems implementations in Coq
  1. 365
    Formal Reasoning About Programs
  2. 352
    Documenting the Xilinx 7-series bit-stream format.
  3. 273
    Mathematical Components
  4. 248
    Convert Haskell source code to Coq source code
  5. 212
    Verified Software Toolchain
  6. 205
    Cryptographic Primitive Code Generation by Fiat
  7. 202
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  8. 192
    FSCQ is a certified file system written and proven in Coq
  9. 190
    Tricks you wish the Coq manual told you
  10. 180
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  11. 169
    🐣 A blog engine written and proven in Coq
  12. 161
    Randomized Property-Based Testing Plugin for Coq
  13. 145
    The Vellvm (Verified LLVM) coq development.
  14. 137
    A Learning Environment for Theorem Proving with the Coq proof assistant
  15. 134
    Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  16. 129
    A library for formalizing Haskell types and functions in Coq
  17. 129
    Metaprogramming in Coq
  18. 129
    Recipe for FPGA cooking
  19. 128
    A selection of formal developments in Coq.
  20. 125
    A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
  21. 124
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  22. 121
    A function definition package for Coq
  23. 115
    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
  24. 105
    Mindless, verified (erasably) coding using dependent types

New Repos

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

Users

Total

/search/users?q=language:Coq

673
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.39