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

Respositories

Counts
Total

/search/repositories?q=language:Coq

2770
New

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

2
Increase rate

( New / Total ) * 100

0.07%
Activity
Update

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

21
Update Rate

( Update / Total ) * 100

0.76%
Sleeping

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

1699
Stars
Star 1000+

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

0
Star 100+

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

18
Sum stars of Top 30 repos

sum ( repos.stars )

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

875

Top Star Repos

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

  1. 633
    Homotopy type theory
  2. 607
    The CompCert formally-verified C compiler
  3. 435
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 397
    A framework for formally verifying distributed systems implementations in Coq
  5. 383
    An axiom-free formalization of category theory in Coq for personal study and practical work
  6. 266
    Formal Reasoning About Programs
  1. 200
    Convert Haskell source code to Coq source code
  2. 194
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  3. 181
    Mathematical Components
  4. 166
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  5. 163
    FSCQ is a certified file system written and proven in Coq
  6. 143
    A blog engine written and proven in Coq.
  7. 132
    Verified Software Toolchain
  8. 124
    Randomized Property-Based Testing Plugin for Coq
  9. 114
    A library for formalizing Haskell types and functions in Coq
  10. 107
    Tricks you wish the Coq manual told you
  11. 105
    Mindless, verified (erasably) coding using dependent types
  12. 104
    Cryptographic Primitive Code Generation by Fiat
  13. 98
    Hazel, a live functional programming environment with typed holes
  14. 94
    A library of abstract interfaces for mathematical structures in Coq.
  15. 92
    PeaCoq is a pretty Coq, isn&#39;t it?
  16. 91
    The Vellvm II coq development.
  17. 90
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  18. 83
    Coq formalizations of functional languages.
  19. 81
    A plugin for Coq to add dependent pattern-matching.
  20. 78
    A selection of formal developments in Coq.
  21. 78
    A formalization of category theory in the Coq proof assistant.
  22. 68
    Formalising Type Theory in a modular way for translations between type theories

New Repos

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

Users

Total

/search/users?q=language:Coq

538
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.15