A Proof-oriented Programming Language
-
Updated
Jul 6, 2024 - F*
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
A Proof-oriented Programming Language
Performant type-checking for python.
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
A (Coq Development Team) bot written in OCaml
👹 A library for hierarchical names and lexical scoping
Github test mirror of the Octez software. Please do not submit pull-requests here!
The core OCaml system: compilers, runtime system, base libraries
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
A verification toolchain for Rust programs
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Created by Xavier Leroy
Released 1996
Latest release about 2 months ago