all leaderboards

most starred
OCaml repos

the most-starred OCaml repositories on github, all time. live from the source.

top OCaml repos

ranked by github stars.

facebook/infer

A static analyzer for Java, C, C++, and Objective-C

reasonml/reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

rescript-lang/rescript

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

facebook/pyre-check

Performant type-checking for python.

ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

janestreet/magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

rocq-prover/rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

bcpierce00/unison

Unison file synchronizer

batsh-dev-team/Batsh

A language that compiles to Bash and Windows Batch

opengrep/opengrep

🔎 Static code analysis engine to find security issues in code.

mirage/mirage

MirageOS is a library operating system that constructs unikernels

comby-tools/comby

A code rewrite tool for structural search and replace that supports ~every language.

northwesternfintech/2027QuantInternships

Public quant internship repository, maintained by NUFT but available for everyone.

facebookarchive/pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

CatalaLang/catala

Programming language for literate programming law specification

BinaryAnalysisPlatform/bap

Binary Analysis Platform

fastpack/fastpack

Pack JS code fast & easy

MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

mirage/irmin

Irmin is a distributed database that follows the same design principles as Git

ocaml/dune

A composable build system for OCaml.

camlworks/dream

Tidy, feature-complete Web framework

airbus-seclab/bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

savonet/liquidsoap

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

ocaml/merlin

Context sensitive completion for OCaml in Vim and Emacs

most starred repos in other languages

most followed developers by country

data from the github api · refreshed every few hours