Updated : 2020-07-06 00:17:46 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

22058
New

/search/repositories?q=language:OCaml+created:2020-07-05

9
Increase rate

( New / Total ) * 100

0.04%
Activity
Update

/search/repositories?q=language:OCaml+pushed:2020-07-05

71
Update Rate

( Update / Total ) * 100

0.32%
Sleeping

/search/repositories?q=language:OCaml+pushed:<2019-07-05

16241
Stars
Star 1000+

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

19
Star 100+

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

242
Sum stars of Top 30 repos

sum ( repos.stars )

86593
Forks
Fork 1000+ Repos

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

2
Fork 100+

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

28
Sum forks of Top 30 repos

sum ( repos.forks )

8999

Top Star Repos

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

  1. 20753
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 11040
    A static analyzer for Java, C, C++, and Objective-C
  3. 8849
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 4744
    A backend for the OCaml compiler which emits JavaScript.
  5. 3973
    A language that compiles to Bash and Windows Batch
  6. 3672
    FUSE filesystem over Google Drive
  1. 3434
    Performant type-checking for python.
  2. 2867
    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
  3. 2850
    The core OCaml system: compilers, runtime system, base libraries
  4. 2406
    Tools for code analysis, visualizations, or style-preserving source transformation.
  5. 2277
    Pack JS code fast &amp; easy
  6. 1597
    Unison file synchronizer
  7. 1488
    MirageOS is a library operating system that constructs unikernels
  8. 1318
    Irmin is a distributed database that follows the same design principles as Git
  9. 1306
    Implementations of various type systems in OCaml.
  10. 1265
    📚 A Reactive web client for tldr-pages
  11. 1229
    Binary Analysis Platform
  12. 1217
    Context sensitive completion for OCaml in Vim and Emacs
  13. 1211
    The Opa Language for Web Application Development
  14. 987
    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
  15. 966
    A composable build system for OCaml.
  16. 920
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  17. 886
    Programming Languages Zoo
  18. 850
    Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
  19. 848
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  20. 827
    Jane Street Capital&#39;s standard library overlay
  21. 741
    A statically-typed, functional typesetting system
  22. 740
    A toolkit for embedding VPN capabilities in your application
  23. 683
    A tool for structural code search and replace that supports ~every language.
  24. 649
    V2 of Real World OCaml

New Repos

/search/repositories?q=language:OCaml+created:2020-07-05&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:OCaml

4073
Followers 100+

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

19
Repos per User

repos.Total / users.Total

5.42