Performant type-checking for python.
-
Updated
Jun 12, 2024 - OCaml
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.
Performant type-checking for python.
Statically typed probabilistic programming language, feat. GADT
The core OCaml system: compilers, runtime system, base libraries
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Github test mirror of the Octez software. Please do not submit pull-requests here!
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
A Proof-oriented Programming Language
An opinionated implementation of the OpenVPN protocol
OCaml promises and concurrent I/O
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
A verification toolchain for Rust programs
Static analysis framework for C
Created by Xavier Leroy
Released 1996
Latest release 30 days ago