Lists (1)
Starred repositories
10
stars
written in OCaml
Clear filter
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…
A statically-typed, functional typesetting system
The Ott tool for writing definitions of programming languages and calculi
A tool-agnostic formal specification language for OCaml.
OCaml .mlx syntax dialect with JSX syntax expressions
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.