Updated : 2019-08-21 00:28:33 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

3210
New

/search/repositories?q=language:Coq+created:2019-08-20

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Coq+pushed:2019-08-20

22
Update Rate

( Update / Total ) * 100

0.69%
Sleeping

/search/repositories?q=language:Coq+pushed:<2018-08-20

2022
Stars
Star 1000+

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

0
Star 100+

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

26
Sum stars of Top 30 repos

sum ( repos.stars )

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

1058

Top Star Repos

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

  1. 764
    The CompCert formally-verified C compiler
  2. 736
    Homotopy type theory
  3. 550
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 454
    An axiom-free formalization of category theory in Coq for personal study and practical work
  5. 447
    A framework for formally verifying distributed systems implementations in Coq
  6. 318
    Formal Reasoning About Programs
  1. 239
    Convert Haskell source code to Coq source code
  2. 235
    Mathematical Components
  3. 198
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  4. 187
    Verified Software Toolchain
  5. 181
    FSCQ is a certified file system written and proven in Coq
  6. 172
    Cryptographic Primitive Code Generation by Fiat
  7. 170
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  8. 165
    Tricks you wish the Coq manual told you
  9. 153
    A blog engine written and proven in Coq.
  10. 149
    Randomized Property-Based Testing Plugin for Coq
  11. 134
    Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  12. 124
    A library for formalizing Haskell types and functions in Coq
  13. 120
    The Vellvm II coq development.
  14. 114
    A selection of formal developments in Coq.
  15. 112
    A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
  16. 108
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  17. 105
    Mindless, verified (erasably) coding using dependent types
  18. 104
    A function definition package for Coq
  19. 100
    Coq formalizations of functional languages.
  20. 99
    PeaCoq is a pretty Coq, isn&#39;t it?
  21. 86
    Mostly Automated Synthesis of Correct-by-Construction Programs
  22. 85
    A work-in-progress language and compiler for verified low-level programming
  23. 82
    A Learning Environment for Theorem Proving with the Coq proof assistant

New Repos

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

Users

Total

/search/users?q=language:Coq

614
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.23