Updated : 2018-02-23 00:16:39 UTC

Respositories

Counts
Total

/search/repositories?q=language:OCaml

13094
New

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

16
Increase rate

( New / Total ) * 100

0.12%
Activity
Update

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

133
Update Rate

( Update / Total ) * 100

1.02%
Sleeping

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

7804
Stars
Star 1000+

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

15
Star 100+

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

124
Sum stars of Top 30 repos

sum ( repos.stars )

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

6965

Top Star Repos

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

  1. 15475
    Adds static typing to JavaScript to improve developer productivity and code quality.
  2. 8146
    A static analyzer for Java, C, C++, and Objective-C
  3. 5126
    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  4. 3461
    A language that compiles to Bash and Windows Batch
  5. 3419
    A backend for the OCaml compiler which emits JavaScript.
  6. 2164
    Tools for code analysis, visualizations, or style-preserving source transformation.
  1. 1802
    FUSE filesystem over Google Drive
  2. 1703
    The core OCaml system: compilers, runtime system, base libraries
  3. 1156
    The Opa Language for Web Application Development
  4. 1154
    Verification system for effectful programs
  5. 1092
    Implementations of various type systems in OCaml.
  6. 1090
    A self-amending cryptographic ledger
  7. 1058
    Reason bindings for ReactJS
  8. 1029
    MirageOS is a library operating system that constructs unikernels
  9. 1029
    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.
  10. 843
    Irmin is a distributed database that follows the same design principles as Git
  11. 812
    Context sensitive completion for OCaml in Vim and Emacs
  12. 730
    Connect processes into powerful data pipelines with a simple git-like filesystem interface
  13. 618
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  14. 604
    Jane Street Capital&#39;s standard library overlay
  15. 582
    Binary Analysis Platform
  16. 581
    an OCaml compiler for an untyped lisp
  17. 551
    Unison file synchronizer
  18. 520
    Owl is an OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.
  19. 519
    Programming Languages Zoo
  20. 467
    A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  21. 467
    A toolkit for embedding VPN capabilities in your application
  22. 460
    An interpreter for finding subtle bugs in programs written in standard C
  23. 442
    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.

New Repos

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

Users

Total

/search/users?q=language:OCaml

2594
Followers 100+

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

15
Repos per User

repos.Total / users.Total

5.05