OCaml
Updated : 2019-12-11 00:26:07 UTC
Respositories
Total
/search/repositories?q=language:OCaml |
20881 |
---|---|
New
/search/repositories?q=language:OCaml+created:2019-12-10 |
6 |
Increase rate
( New / Total ) * 100 |
0.03% |
Update
/search/repositories?q=language:OCaml+pushed:2019-12-10 |
132 |
---|---|
Update Rate
( Update / Total ) * 100 |
0.63% |
Sleeping
/search/repositories?q=language:OCaml+pushed:<2018-12-10 |
13726 |
Star 1000+
/search/repositories?q=language:OCaml+stars:>=1000 |
22 |
---|---|
Star 100+
/search/repositories?q=language:OCaml+stars:>=100 |
236 |
Sum stars of Top 30 repos
sum ( repos.stars ) |
85282 |
Fork 1000+ Repos
/search/repositories?q=language:OCaml+forks:>=1000 |
2 |
---|---|
Fork 100+
/search/repositories?q=language:OCaml+forks:>=100 |
30 |
Sum forks of Top 30 repos
sum ( repos.forks ) |
8817 |
Top Star Repos
/search/repositories?q=language:OCaml&sort=stars&order=desc&per_page=30
-
20264Adds static typing to JavaScript to improve developer productivity and code quality.
10474A static analyzer for Java, C, C++, and Objective-C
8255Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
4501A backend for the OCaml compiler which emits JavaScript.
3926A language that compiles to Bash and Windows Batch
3256FUSE filesystem over Google Drive
-
3159Performant type-checking for python.
2613Reason bindings for ReactJS
2586The core OCaml system: compilers, runtime system, base libraries
2462Coq 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.
2395Tools for code analysis, visualizations, or style-preserving source transformation.
2174Pack JS code fast & easy
1804🚀 Fast and simple Node.js version manager, built in native ReasonML
1378MirageOS is a library operating system that constructs unikernels
1363Unison file synchronizer
1272Implementations of various type systems in OCaml.
1241Compiler for Grain, the functional programming language. A modern web staple. 🌾
1203The Opa Language for Web Application Development
1151Context sensitive completion for OCaml in Vim and Emacs
1107Irmin is a distributed database that follows the same design principles as Git
1097Binary Analysis Platform
1079📚 A Reactive web client for tldr-pages
931Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
884Connect processes into powerful data pipelines with a simple git-like filesystem interface
831Programming Languages Zoo
816A composable build system for OCaml.
806Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
789opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
779Jane Street Capital's standard library overlay
New Repos
/search/repositories?q=language:OCaml+created:2019-12-10&sort=stars&order=desc&per_page=12
Users
Total /search/users?q=language:OCaml
3689 Followers 100+ /search/users?q=language:OCaml+followers:>=100
22 Repos per User repos.Total / users.Total
5.66