Trending OCaml repositories on GitHub — ranked by total activity score (stars, forks, pushes, PRs) over the past month.
A verification toolchain for Rust programs
Public quant internship repository, maintained by NUFT but available for everyone.
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.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
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.
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml
Compositional JSON encode/decode library and PPX for Melange and OCaml
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
Minimal HTTP server written in direct style, with a small request router, compression, SSE, websockets.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
