47,133 repositories indexed
1–9 of 9 · Most stars
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.
Binary Analysis Platform
A modern supercompiler for call-by-value functional languages
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
An OCaml lexer generator for Unicode
Exercism exercises in OCaml.
An SMT solver frontend for OCaml
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
A library to build and execute typed scientific workflows