47,133 repositories indexed
1–11 of 11 · 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.
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Interfacing Qt/QML with OCaml. Formely known as lablqt
An SMT solver frontend for OCaml
Python bindings for the Coq interactive proof assistant
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
Parser and printer for date-times in ISO8601
OCaml/MPI interface