Updated : 2018-08-18 00:16:34 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

15224
New

/search/repositories?q=language:OCaml+created:2018-08-17

6
Increase rate

( New / Total ) * 100

0.04%
Activity
Update

/search/repositories?q=language:OCaml+pushed:2018-08-17

86
Update Rate

( Update / Total ) * 100

0.56%
Sleeping

/search/repositories?q=language:OCaml+pushed:<2017-08-17

9005
Stars
Star 1000+

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

18
Star 100+

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

150
Sum stars of Top 30 repos

sum ( repos.stars )

67802
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 )

7292

Top Star Repos

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

  1. 17442
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 8767
    A static analyzer for Java, C, C++, and Objective-C
  3. 6183
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 3842
    A backend for the OCaml compiler which emits JavaScript.
  5. 3587
    A language that compiles to Bash and Windows Batch
  6. 2250
    Tools for code analysis, visualizations, or style-preserving source transformation.
  1. 2232
    FUSE filesystem over Google Drive
  2. 1931
    The core OCaml system: compilers, runtime system, base libraries
  3. 1929
    Performant type-checking for python.
  4. 1634
    Reason bindings for ReactJS
  5. 1404
    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. 1282
    Verification system for effectful programs
  7. 1277
    A self-amending cryptographic ledger
  8. 1206
    Pack JS code fast &amp; easy
  9. 1168
    The Opa Language for Web Application Development
  10. 1134
    Implementations of various type systems in OCaml.
  11. 1131
    MirageOS is a library operating system that constructs unikernels
  12. 1102
    Compiler for Grain, the functional programming language. A modern web staple. 🌾
  13. 909
    Context sensitive completion for OCaml in Vim and Emacs
  14. 897
    Irmin is a distributed database that follows the same design principles as Git
  15. 781
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  16. 746
    Unison file synchronizer
  17. 704
    Binary Analysis Platform
  18. 677
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  19. 651
    Jane Street Capital&#39;s standard library overlay
  20. 600
    Owl is an OCaml library for scientific and engineering computing.
  21. 588
    an OCaml compiler for an untyped lisp
  22. 556
    Programming Languages Zoo
  23. 538
    A toolkit for embedding VPN capabilities in your application

New Repos

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

Users

Total

/search/users?q=language:OCaml

2796
Followers 100+

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

18
Repos per User

repos.Total / users.Total

5.44