( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
11040A static analyzer for Java, C, C++, and Objective-C
3973A language that compiles to Bash and Windows Batch
3672FUSE filesystem over Google Drive
3434Performant type-checking for python.
2867Coq 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.
2850The core OCaml system: compilers, runtime system, base libraries
2406Tools for code analysis, visualizations, or style-preserving source transformation.
2277Pack JS code fast & easy
1597Unison file synchronizer
1488MirageOS is a library operating system that constructs unikernels
1318Irmin is a distributed database that follows the same design principles as Git
1306Implementations of various type systems in OCaml.
1265📚 A Reactive web client for tldr-pages
1229Binary Analysis Platform
1217Context sensitive completion for OCaml in Vim and Emacs
1211The Opa Language for Web Application Development
987Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
966A composable build system for OCaml.
920Connect processes into powerful data pipelines with a simple git-like filesystem interface
886Programming Languages Zoo
850Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
848opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
827Jane Street Capital's standard library overlay
741A statically-typed, functional typesetting system
4073 Followers 100+
19 Repos per User
repos.Total / users.Total