Updated : 2018-06-24 00:16:32 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

14730
New

/search/repositories?q=language:OCaml+created:2018-06-23

15
Increase rate

( New / Total ) * 100

0.10%
Activity
Update

/search/repositories?q=language:OCaml+pushed:2018-06-23

68
Update Rate

( Update / Total ) * 100

0.46%
Sleeping

/search/repositories?q=language:OCaml+pushed:<2017-06-23

8691
Stars
Star 1000+

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

16
Star 100+

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

144
Sum stars of Top 30 repos

sum ( repos.stars )

64149
Forks
Fork 1000+ Repos

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

2
Fork 100+

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

21
Sum forks of Top 30 repos

sum ( repos.forks )

7065

Top Star Repos

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

  1. 16900
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 8598
    A static analyzer for Java, C, C++, and Objective-C
  3. 5929
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 3745
    A backend for the OCaml compiler which emits JavaScript.
  5. 3549
    A language that compiles to Bash and Windows Batch
  6. 2235
    Tools for code analysis, visualizations, or style-preserving source transformation.
  1. 2087
    FUSE filesystem over Google Drive
  2. 1860
    The core OCaml system: compilers, runtime system, base libraries
  3. 1638
    Performant type-checking for python.
  4. 1501
    Reason bindings for ReactJS
  5. 1292
    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.
  6. 1241
    Verification system for effectful programs
  7. 1199
    A self-amending cryptographic ledger
  8. 1162
    The Opa Language for Web Application Development
  9. 1114
    Implementations of various type systems in OCaml.
  10. 1099
    MirageOS is a library operating system that constructs unikernels
  11. 882
    Irmin is a distributed database that follows the same design principles as Git
  12. 877
    Context sensitive completion for OCaml in Vim and Emacs
  13. 764
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  14. 689
    Unison file synchronizer
  15. 665
    Binary Analysis Platform
  16. 658
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  17. 633
    Jane Street Capital&#39;s standard library overlay
  18. 585
    an OCaml compiler for an untyped lisp
  19. 573
    Owl is an OCaml library for scientific and engineering computing.
  20. 545
    Programming Languages Zoo
  21. 511
    A toolkit for embedding VPN capabilities in your application
  22. 490
    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.
  23. 472
    An interpreter for finding subtle bugs in programs written in standard C

New Repos

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

Users

Total

/search/users?q=language:OCaml

2751
Followers 100+

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

16
Repos per User

repos.Total / users.Total

5.35