( 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
8332A static analyzer for Java, C, C++, and Objective-C
3517A language that compiles to Bash and Windows Batch
2199Tools for code analysis, visualizations, or style-preserving source transformation.
1946FUSE filesystem over Google Drive
1780The core OCaml system: compilers, runtime system, base libraries
1268Reason bindings for ReactJS
1198Verification system for effectful programs
1161The Opa Language for Web Application Development
1147Coq 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.
1144A self-amending cryptographic ledger
1101Implementations of various type systems in OCaml.
1073MirageOS is a library operating system that constructs unikernels
870Irmin is a distributed database that follows the same design principles as Git
848Context sensitive completion for OCaml in Vim and Emacs
751Connect processes into powerful data pipelines with a simple git-like filesystem interface
642opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
638Unison file synchronizer
633Binary Analysis Platform
622Jane Street Capital's standard library overlay
584an OCaml compiler for an untyped lisp
561Owl is an OCaml library for scientific and engineering computing.
537Programming Languages Zoo
487A toolkit for embedding VPN capabilities in your application
468An interpreter for finding subtle bugs in programs written in standard C
2673 Followers 100+
15 Repos per User
repos.Total / users.Total