Github test mirror of the Octez software. Please do not submit pull-requests here!
-
Updated
Jun 11, 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!
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
Server rendering Reason React components with OCaml natively
Performant type-checking for python.
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Declarative command line parsing for OCaml with `@@deriving`.
A bare-bones blog relying only on simple scripts.
GitHub Action for the OCaml programming language
OCaml bindings to the number theory library PARI/GP
Created by Xavier Leroy
Released 1996
Latest release 29 days ago