Updated : 2019-10-18 00:28:45 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

3355
New

/search/repositories?q=language:Coq+created:2019-10-17

2
Increase rate

( New / Total ) * 100

0.06%
Activity
Update

/search/repositories?q=language:Coq+pushed:2019-10-17

38
Update Rate

( Update / Total ) * 100

1.13%
Sleeping

/search/repositories?q=language:Coq+pushed:<2018-10-17

2098
Stars
Star 1000+

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

0
Star 100+

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

30
Sum stars of Top 30 repos

sum ( repos.stars )

7041
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

3
Sum forks of Top 30 repos

sum ( repos.forks )

1162

Top Star Repos

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

  1. 780
    The CompCert formally-verified C compiler
  2. 754
    Homotopy type theory
  3. 569
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 465
    An axiom-free formalization of category theory in Coq for personal study and practical work
  5. 454
    A framework for formally verifying distributed systems implementations in Coq
  6. 326
    Formal Reasoning About Programs
  1. 312
    Documenting the Xilinx 7-series bit-stream format.
  2. 245
    Mathematical Components
  3. 239
    Convert Haskell source code to Coq source code
  4. 199
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  5. 196
    Verified Software Toolchain
  6. 186
    FSCQ is a certified file system written and proven in Coq
  7. 179
    Tricks you wish the Coq manual told you
  8. 178
    Cryptographic Primitive Code Generation by Fiat
  9. 170
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  10. 152
    Randomized Property-Based Testing Plugin for Coq
  11. 152
    A blog engine written and proven in Coq.
  12. 135
    Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  13. 128
    The Vellvm (Verified LLVM) coq development.
  14. 125
    A library for formalizing Haskell types and functions in Coq
  15. 119
    A Learning Environment for Theorem Proving with the Coq proof assistant
  16. 119
    A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
  17. 116
    A selection of formal developments in Coq.
  18. 111
    Recipe for FPGA cooking
  19. 109
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  20. 107
    A function definition package for Coq
  21. 106
    Metaprogramming in Coq
  22. 105
    Mindless, verified (erasably) coding using dependent types
  23. 101
    Coq formalizations of functional languages.

New Repos

/search/repositories?q=language:Coq+created:2019-10-17&sort=stars&order=desc&per_page=12

  • 0
    A Coq Formalization of De Bruijn's weak diamond property. My BSc thesis.
  • 0
    Jacques Garrigueさんの講義の勉強用

Users

Total

/search/users?q=language:Coq

630
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.33