Trending OCaml repositories on GitHub — ranked by total activity score (stars, forks, pushes, PRs) over the past month.
magic-trace collects and displays high-resolution traces of what a process is doing
KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
Public quant internship repository, maintained by NUFT but available for everyone.
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
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.
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration, notifications, etc.
