Updated : 2018-12-19 00:16:43 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

16731
New

/search/repositories?q=language:OCaml+created:2018-12-18

9
Increase rate

( New / Total ) * 100

0.05%
Activity
Update

/search/repositories?q=language:OCaml+pushed:2018-12-18

146
Update Rate

( Update / Total ) * 100

0.87%
Sleeping

/search/repositories?q=language:OCaml+pushed:<2017-12-18

10020
Stars
Star 1000+

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

16
Star 100+

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

175
Sum stars of Top 30 repos

sum ( repos.stars )

72039
Forks
Fork 1000+ Repos

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

2
Fork 100+

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

25
Sum forks of Top 30 repos

sum ( repos.forks )

7611

Top Star Repos

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

  1. 18566
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 9126
    A static analyzer for Java, C, C++, and Objective-C
  3. 6976
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 4057
    A backend for the OCaml compiler which emits JavaScript.
  5. 3669
    A language that compiles to Bash and Windows Batch
  6. 2504
    FUSE filesystem over Google Drive
  1. 2310
    Tools for code analysis, visualizations, or style-preserving source transformation.
  2. 2159
    Performant type-checking for python.
  3. 2141
    The core OCaml system: compilers, runtime system, base libraries
  4. 2034
    Reason bindings for ReactJS
  5. 1797
    Pack JS code fast &amp; easy
  6. 1682
    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. 1209
    MirageOS is a library operating system that constructs unikernels
  8. 1184
    The Opa Language for Web Application Development
  9. 1180
    Implementations of various type systems in OCaml.
  10. 1172
    Compiler for Grain, the functional programming language. A modern web staple. 🌾
  11. 986
    Context sensitive completion for OCaml in Vim and Emacs
  12. 954
    Irmin is a distributed database that follows the same design principles as Git
  13. 879
    Unison file synchronizer
  14. 810
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  15. 798
    Binary Analysis Platform
  16. 730
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  17. 687
    Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
  18. 687
    Jane Street Capital&#39;s standard library overlay
  19. 677
    Programming Languages Zoo
  20. 672
    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
  21. 592
    an OCaml compiler for an untyped lisp
  22. 584
    A toolkit for embedding VPN capabilities in your application
  23. 565
    A composable build system for OCaml.

New Repos

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

Users

Total

/search/users?q=language:OCaml

2975
Followers 100+

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

16
Repos per User

repos.Total / users.Total

5.62