Ranked by Attention Score: stars gained over the last 30 complete days
51 repositories by Attention Score · Oct 4, 2026 – Nov 2, 2026 (UTC)
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.
Terraform without the state file bottleneck
A static analyzer for Java, C, C++, and Objective-C
MirageOS is a library operating system that constructs unikernels
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
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.
Performant type-checking for python.
OCaml Language Server Protocol implementation
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Binary Analysis Platform
Effects-based direct-style IO for multicore OCaml
The Ott tool for writing definitions of programming languages and calculi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Irmin is a distributed database that follows the same design principles as Git
Context sensitive completion for OCaml in Vim and Emacs
Formal verification for OCaml, with Rocq
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Rocq plugin embedding Elpi
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Parser combinators built for speed and memory efficiency
A modern supercompiler for call-by-value functional languages
Declarative definition of command line interfaces for OCaml
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
typed bidirectional router for OCaml/ReasonML web applications
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
A high performance, memory efficient, and scalable web server written in OCaml
QuickCheck inspired property-based testing for OCaml.
Low-level JSON parsing and pretty-printing library for OCaml
Tutorial on Multicore OCaml parallel programming with domainslib
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
An OCaml generic virtual machine for microcontrollers
A simple multi-format pretty-printer for Menhir.
An HTML documentation generator for Rocq source files