( 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
8598A static analyzer for Java, C, C++, and Objective-C
3549A language that compiles to Bash and Windows Batch
2235Tools for code analysis, visualizations, or style-preserving source transformation.
2087FUSE filesystem over Google Drive
1860The core OCaml system: compilers, runtime system, base libraries
1638Performant type-checking for python.
1501Reason bindings for ReactJS
1292Coq 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.
1241Verification system for effectful programs
1199A self-amending cryptographic ledger
1162The Opa Language for Web Application Development
1114Implementations of various type systems in OCaml.
1099MirageOS is a library operating system that constructs unikernels
882Irmin is a distributed database that follows the same design principles as Git
877Context sensitive completion for OCaml in Vim and Emacs
764Connect processes into powerful data pipelines with a simple git-like filesystem interface
689Unison file synchronizer
665Binary Analysis Platform
658opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
633Jane Street Capital's standard library overlay
585an OCaml compiler for an untyped lisp
573Owl is an OCaml library for scientific and engineering computing.
545Programming Languages Zoo
511A toolkit for embedding VPN capabilities in your application
2751 Followers 100+
16 Repos per User
repos.Total / users.Total