Updated : 2018-10-23 00:16:35 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

15994
New

/search/repositories?q=language:OCaml+created:2018-10-22

6
Increase rate

( New / Total ) * 100

0.04%
Activity
Update

/search/repositories?q=language:OCaml+pushed:2018-10-22

104
Update Rate

( Update / Total ) * 100

0.65%
Sleeping

/search/repositories?q=language:OCaml+pushed:<2017-10-22

9522
Stars
Star 1000+

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

17
Star 100+

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

160
Sum stars of Top 30 repos

sum ( repos.stars )

70310
Forks
Fork 1000+ Repos

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

2
Fork 100+

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

26
Sum forks of Top 30 repos

sum ( repos.forks )

7503

Top Star Repos

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

  1. 18109
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 8937
    A static analyzer for Java, C, C++, and Objective-C
  3. 6552
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 3946
    A backend for the OCaml compiler which emits JavaScript.
  5. 3635
    A language that compiles to Bash and Windows Batch
  6. 2382
    FUSE filesystem over Google Drive
  1. 2278
    Tools for code analysis, visualizations, or style-preserving source transformation.
  2. 2072
    Performant type-checking for python.
  3. 2032
    The core OCaml system: compilers, runtime system, base libraries
  4. 1889
    Reason bindings for ReactJS
  5. 1758
    Pack JS code fast &amp; easy
  6. 1563
    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.
  7. 1297
    A self-amending cryptographic ledger
  8. 1179
    MirageOS is a library operating system that constructs unikernels
  9. 1172
    The Opa Language for Web Application Development
  10. 1162
    Implementations of various type systems in OCaml.
  11. 1137
    Compiler for Grain, the functional programming language. A modern web staple. 🌾
  12. 952
    Context sensitive completion for OCaml in Vim and Emacs
  13. 928
    Irmin is a distributed database that follows the same design principles as Git
  14. 821
    Unison file synchronizer
  15. 798
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  16. 753
    Binary Analysis Platform
  17. 699
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  18. 680
    Jane Street Capital&#39;s standard library overlay
  19. 661
    Owl is an OCaml library for scientific and engineering computing.
  20. 591
    an OCaml compiler for an untyped lisp
  21. 578
    Programming Languages Zoo
  22. 553
    A toolkit for embedding VPN capabilities in your application
  23. 542
    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.

New Repos

/search/repositories?q=language:OCaml+created:2018-10-22&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:OCaml

2874
Followers 100+

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

17
Repos per User

repos.Total / users.Total

5.57