( 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
10266A static analyzer for Java, C, C++, and Objective-C
5454:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
3911A language that compiles to Bash and Windows Batch
3165FUSE filesystem over Google Drive
3053Performant type-checking for python.
2616Native, lightweight modal code editor
2537Reason bindings for ReactJS
2531The core OCaml system: compilers, runtime system, base libraries
2392Tools for code analysis, visualizations, or style-preserving source transformation.
2369Coq 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.
2161Pack JS code fast & easy
1603🚀 Fast and simple Node.js version manager, built in native ReasonML
1355MirageOS is a library operating system that constructs unikernels
1305Unison file synchronizer
1267Implementations of various type systems in OCaml.
1228Compiler for Grain, the functional programming language. A modern web staple. 🌾
1203The Opa Language for Web Application Development
1119Context sensitive completion for OCaml in Vim and Emacs
1091Irmin is a distributed database that follows the same design principles as Git
1051📚 A Reactive web client for tldr-pages
1032Binary Analysis Platform
916Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
872Connect processes into powerful data pipelines with a simple git-like filesystem interface
810Programming Languages Zoo
795A composable build system for OCaml.
3587 Followers 100+
24 Repos per User
repos.Total / users.Total