Updated : 2019-12-11 00:38:03 UTC

Respositories

Counts
Total

/search/repositories?q=language:Coq

3532
New

/search/repositories?q=language:Coq+created:2019-12-10

6
Increase rate

( New / Total ) * 100

0.17%
Activity
Update

/search/repositories?q=language:Coq+pushed:2019-12-10

45
Update Rate

( Update / Total ) * 100

1.27%
Sleeping

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

2270
Stars
Star 1000+

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

0
Star 100+

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

33
Sum stars of Top 30 repos

sum ( repos.stars )

7652
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

4
Sum forks of Top 30 repos

sum ( repos.forks )

1306

Top Star Repos

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

  1. 801
    The CompCert formally-verified C compiler
  2. 780
    Homotopy type theory
  3. 582
    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  4. 478
    An axiom-free formalization of category theory in Coq for personal study and practical work
  5. 463
    A framework for formally verifying distributed systems implementations in Coq
  6. 460
    Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
  1. 332
    Documenting the Xilinx 7-series bit-stream format.
  2. 330
    Formal Reasoning About Programs
  3. 259
    Mathematical Components
  4. 243
    Convert Haskell source code to Coq source code
  5. 203
    Verified Software Toolchain
  6. 201
    Voevodsky&#39;s original development of the univalent foundations of mathematics in Coq
  7. 195
    Cryptographic Primitive Code Generation by Fiat
  8. 189
    FSCQ is a certified file system written and proven in Coq
  9. 184
    Tricks you wish the Coq manual told you
  10. 174
    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  11. 166
    🐣 A blog engine written and proven in Coq
  12. 155
    Randomized Property-Based Testing Plugin for Coq
  13. 137
    The Vellvm (Verified LLVM) coq development.
  14. 135
    Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  15. 129
    A Learning Environment for Theorem Proving with the Coq proof assistant
  16. 126
    A library for formalizing Haskell types and functions in Coq
  17. 124
    A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
  18. 124
    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  19. 124
    Recipe for FPGA cooking
  20. 119
    Metaprogramming in Coq
  21. 119
    A selection of formal developments in Coq.
  22. 110
    A function definition package for Coq
  23. 105
    Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
  24. 105
    Mindless, verified (erasably) coding using dependent types

New Repos

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

Users

Total

/search/users?q=language:Coq

657
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.38