Updated : 2018-08-18 00:28:28 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

2582
New

/search/repositories?q=language:Coq+created:2018-08-17

2
Increase rate

( New / Total ) * 100

0.08%
Activity
Update

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

24
Update Rate

( Update / Total ) * 100

0.93%
Sleeping

/search/repositories?q=language:Coq+pushed:<2017-08-17

1677
Stars
Star 1000+

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

0
Star 100+

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

17
Sum stars of Top 30 repos

sum ( repos.stars )

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

787

Top Star Repos

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

  1. 597
    Homotopy type theory
  2. 544
    The CompCert formally-verified C compiler
  3. 390
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 381
    A framework for formally verifying distributed systems implementations in Coq
  5. 352
    An axiom-free formalization of category theory in Coq for personal study and practical work
  6. 253
    Formal Reasoning About Programs
  1. 189
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  2. 168
    Convert Haskell source code to Coq source code
  3. 163
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  4. 160
    Mathematical Components
  5. 146
    FSCQ is a certified file system written and proven in Coq
  6. 142
    A blog engine written and proven in Coq.
  7. 111
    Verified Software Toolchain
  8. 109
    Randomized Property-Based Testing Plugin for Coq
  9. 104
    Mindless, verified (erasably) coding using dependent types
  10. 103
    A library for formalizing Haskell types and functions in Coq
  11. 91
    A library of abstract interfaces for mathematical structures in Coq.
  12. 89
    PeaCoq is a pretty Coq, isn&#39;t it?
  13. 89
    Cryptographic Primitive Code Generation by Fiat
  14. 88
    Tricks you wish the Coq manual told you
  15. 80
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  16. 77
    A selection of formal developments in Coq.
  17. 77
    A formalization of category theory in the Coq proof assistant.
  18. 75
    Coq formalizations of functional languages.
  19. 66
    Formalising Type Theory in a modular way for translations between type theories
  20. 65
    A proof of false.
  21. 63
    A web server written in Coq.
  22. 58
    Coq Repository at Nijmegen

New Repos

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

Users

Total

/search/users?q=language:Coq

510
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.06