Updated : 2018-04-25 00:16:38 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

14095
New

/search/repositories?q=language:OCaml+created:2018-04-24

10
Increase rate

( New / Total ) * 100

0.07%
Activity
Update

/search/repositories?q=language:OCaml+pushed:2018-04-24

138
Update Rate

( Update / Total ) * 100

0.98%
Sleeping

/search/repositories?q=language:OCaml+pushed:<2017-04-24

8206
Stars
Star 1000+

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

15
Star 100+

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

129
Sum stars of Top 30 repos

sum ( repos.stars )

60378
Forks
Fork 1000+ Repos

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

2
Fork 100+

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

22
Sum forks of Top 30 repos

sum ( repos.forks )

6828

Top Star Repos

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

  1. 16234
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 8332
    A static analyzer for Java, C, C++, and Objective-C
  3. 5480
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 3578
    A backend for the OCaml compiler which emits JavaScript.
  5. 3517
    A language that compiles to Bash and Windows Batch
  6. 2199
    Tools for code analysis, visualizations, or style-preserving source transformation.
  1. 1946
    FUSE filesystem over Google Drive
  2. 1780
    The core OCaml system: compilers, runtime system, base libraries
  3. 1268
    Reason bindings for ReactJS
  4. 1198
    Verification system for effectful programs
  5. 1161
    The Opa Language for Web Application Development
  6. 1147
    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. 1144
    A self-amending cryptographic ledger
  8. 1101
    Implementations of various type systems in OCaml.
  9. 1073
    MirageOS is a library operating system that constructs unikernels
  10. 870
    Irmin is a distributed database that follows the same design principles as Git
  11. 848
    Context sensitive completion for OCaml in Vim and Emacs
  12. 751
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  13. 642
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  14. 638
    Unison file synchronizer
  15. 633
    Binary Analysis Platform
  16. 622
    Jane Street Capital&#39;s standard library overlay
  17. 584
    an OCaml compiler for an untyped lisp
  18. 561
    Owl is an OCaml library for scientific and engineering computing.
  19. 537
    Programming Languages Zoo
  20. 487
    A toolkit for embedding VPN capabilities in your application
  21. 468
    An interpreter for finding subtle bugs in programs written in standard C
  22. 465
    A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  23. 458
    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.

New Repos

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

Users

Total

/search/users?q=language:OCaml

2673
Followers 100+

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

15
Repos per User

repos.Total / users.Total

5.27