Github test mirror of the Octez software. Please do not submit pull-requests here!
-
Updated
May 30, 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.
Github test mirror of the Octez software. Please do not submit pull-requests here!
A verification toolchain for Rust programs
♾️ A library for universe levels and universe polymorphism
The core OCaml system: compilers, runtime system, base libraries
An actor-model multi-core scheduler for OCaml 5 🐫
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
multi-shot continuations in OCaml
An OCaml library for HTTP clients and servers using Lwt or Async
A little and very high level library to perform basic operations on audio files in the OCaml language
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Created by Xavier Leroy
Released 1996
Latest release 17 days ago