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

Respositories

Counts
Total

/search/repositories?q=language:Coq

2870
New

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

1
Increase rate

( New / Total ) * 100

0.03%
Activity
Update

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

24
Update Rate

( Update / Total ) * 100

0.84%
Sleeping

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

1797
Stars
Star 1000+

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

0
Star 100+

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

20
Sum stars of Top 30 repos

sum ( repos.stars )

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

924

Top Star Repos

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

  1. 665
    The CompCert formally-verified C compiler
  2. 656
    Homotopy type theory
  3. 460
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 414
    A framework for formally verifying distributed systems implementations in Coq
  5. 404
    An axiom-free formalization of category theory in Coq for personal study and practical work
  6. 287
    Formal Reasoning About Programs
  1. 211
    Convert Haskell source code to Coq source code
  2. 199
    Mathematical Components
  3. 193
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  4. 169
    FSCQ is a certified file system written and proven in Coq
  5. 163
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  6. 154
    Verified Software Toolchain
  7. 144
    A blog engine written and proven in Coq.
  8. 135
    Randomized Property-Based Testing Plugin for Coq
  9. 128
    Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  10. 116
    Cryptographic Primitive Code Generation by Fiat
  11. 115
    Tricks you wish the Coq manual told you
  12. 114
    A library for formalizing Haskell types and functions in Coq
  13. 104
    Mindless, verified (erasably) coding using dependent types
  14. 100
    The Vellvm II coq development.
  15. 98
    A library of abstract interfaces for mathematical structures in Coq.
  16. 98
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  17. 94
    A selection of formal developments in Coq.
  18. 92
    PeaCoq is a pretty Coq, isn&#39;t it?
  19. 88
    A function definition package for Coq
  20. 86
    Coq formalizations of functional languages.
  21. 80
    A formalization of category theory in the Coq proof assistant.
  22. 73
    A library of Coq definitions, theorems, and tactics.

New Repos

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

  • 0
    Final project of S16 ECE156A of UCSB. Implemented in Verilog HDL with randomized test module.

Users

Total

/search/users?q=language:Coq

557
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.15