An OCaml cross-toolchain for iOS and several useful libraries
-
Updated
May 15, 2024 - Shell
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.
An OCaml cross-toolchain for iOS and several useful libraries
Performant type-checking for python.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
A Proof-oriented Programming Language
A declarative, type-safe template language
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Intensional PCF interpreter
Github test mirror of the Octez software. Please do not submit pull-requests here!
The core OCaml system: compilers, runtime system, base libraries
A verification toolchain for Rust programs
An opinionated implementation of the OpenVPN protocol
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Effects-based direct-style IO for multicore OCaml
Static analysis framework for C
Created by Xavier Leroy
Released 1996
Latest release 2 days ago