Stars
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
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 environmen…
MirageOS is a library operating system that constructs unikernels
Irmin is a distributed database that follows the same design principles as Git
Implementations of various type systems in OCaml.
Systems language with linear types and capability-based security.
A mixture of tooling combined to produce JavaScript from OCaml & Reason
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
A functional programming language based on algebraic effect handlers
Concurrent Programming with Effect Handlers
A library for building dynamic webapps, using Js_of_ocaml
KaRaMeL is a tool for extracting low-level F* programs to readable C code
A modern supercompiler for call-by-value functional languages
The Ott tool for writing definitions of programming languages and calculi
A proof assistant for general type theories
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
A library that makes it nicer to work with nested functional data structures
Modern, type-safe, contract-first web framework for OCaml 5
Direct-style parser combinator library for OCaml 5