Updated : 2018-02-23 00:28:28 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

2302
New

/search/repositories?q=language:Coq+created:2018-02-22

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Coq+pushed:2018-02-22

26
Update Rate

( Update / Total ) * 100

1.13%
Sleeping

/search/repositories?q=language:Coq+pushed:<2017-02-22

1323
Stars
Star 1000+

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

0
Star 100+

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

14
Sum stars of Top 30 repos

sum ( repos.stars )

4388
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

1
Sum forks of Top 30 repos

sum ( repos.forks )

676

Top Star Repos

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

  1. 538
    Homotopy type theory
  2. 474
    The CompCert formally-verified C compiler
  3. 355
    A framework for formally verifying distributed systems implementations in Coq
  4. 339
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  5. 296
    A formalization of category theory in Coq for personal study and practical work
  6. 217
    Formal Reasoning About Programs
  1. 187
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  2. 155
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  3. 138
    A blog engine written and proven in Coq.
  4. 134
    FSCQ is a certified file system written and proven in Coq
  5. 124
    Convert Haskell source code to Coq source code
  6. 120
    Mathematical Components
  7. 102
    Mindless, verified (erasably) coding using dependent types
  8. 97
    A library for formalizing Haskell types and functions in Coq
  9. 86
    PeaCoq is a pretty Coq, isn&#39;t it?
  10. 84
    Verified Software Toolchain
  11. 81
    Randomized Property-Based Testing Plugin for Coq
  12. 77
    A library of abstract interfaces for mathematical structures in Coq.
  13. 68
    Cryptographic Primitive Code Generation by Fiat
  14. 68
    A selection of Coq developments.
  15. 61
    A web server written in Coq.
  16. 60
    Coq formalizations of functional languages.
  17. 59
    A proof of false.
  18. 57
    A compiler plug-in to control object lifetimes in Scala
  19. 57
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  20. 53
    Formalising Type Theory in a modular way for translations between type theories
  21. 53
    Coq Repository at Nijmegen

New Repos

/search/repositories?q=language:Coq+created:2018-02-22&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Coq

451
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.10