Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Performant type-checking for python.

The core OCaml system: compilers, runtime system, base libraries

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

MirageOS is a library operating system that constructs unikernels

Context sensitive completion for OCaml in Vim and Emacs

🍬 a functional language for building type-safe, scalable, and maintainable applications

An OCaml library for HTTP clients and servers using Lwt or Async

Simple high-level language for writing Internet Computer canisters

a little game

Tutorial de OCaml para iniciantes na Linguagem.

Build system for OCaml/Reason

A backend for the OCaml compiler which emits JavaScript.

Caml-Shcaml: An Ocaml library for Unix shell programming

A boilerplate example for getting cross-platform reprocessing games off the ground

a fast uniform random tree generator

Password based key derivation functions from PKCS#5, RFC 2898

Advent of Code 2017

Compiler for stack manipulation in Michelson

An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university

Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson

Process Algebra Ve'rifier