47,133 repositories indexed
1–24 of 29 · 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 code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Context sensitive completion for OCaml in Vim and Emacs
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
QuickCheck inspired property-based testing for OCaml.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
C Intermediate Language
Declarative definition of command line interfaces for OCaml
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Web library for OCaml with support for HTTP/1.X / HTTP/2
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Interfacing Qt/QML with OCaml. Formely known as lablqt
A neat interface for Slack
An SMT solver frontend for OCaml
A simple multi-format pretty-printer for Menhir.
Python bindings for the Coq interactive proof assistant
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
A fully-modular OCaml style linter
Library of Raft consensus algorithm implemented in OCaml
Inspection of internal value representations and the object graph
Minimalist OCaml library for command line parsing
Parser and printer for date-times in ISO8601