A Proof-oriented Programming Language
-
Updated
Jun 12, 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
Github test mirror of the Octez software. Please do not submit pull-requests here!
A verification toolchain for Rust programs
Performant type-checking for python.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Statically typed probabilistic programming language, feat. GADT
The core OCaml system: compilers, runtime system, base libraries
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
A bare-bones blog relying only on simple scripts.
Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
An opinionated implementation of the OpenVPN protocol
Static analysis framework for C
Created by Xavier Leroy
Released 1996
Latest release about 1 month ago