My personal website
-
Updated
May 9, 2024 - C
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.
My personal website
CTF challenges from the Cryptohack Cryptography course.
Intensional PCF interpreter
Interpreter for a functional, expression-based programming language
Declarative command line parsing for OCaml with `@@deriving`.
Performant type-checking for python.
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
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!
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
Created by Xavier Leroy
Released 1996
Latest release 5 months ago