Performant type-checking for python.
-
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.
Performant type-checking for python.
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
some random project I happened across in /r/reverseengineering when it was at version 0.7; this fork is me trying to get it to build
This repo is designed to get you started with OCaml.
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
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.
The core OCaml system: compilers, runtime system, base libraries
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Compiler from OCaml to Javascript.
Documentation site for Melange
Statically typed probabilistic programming language, feat. GADT
Created by Xavier Leroy
Released 1996
Latest release 29 days ago