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

A statically-typed, functional typesetting system

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

Vult is a transcompiler well suited to write high-performance DSP code

Go! Lisp in OCaml

This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.ocamlcore.org). After it is compiled, it can be used to pars…

source code for the bondi programming language

A strongly typed language for the web!

A meta-language for OCaml. (Unreleased)

explore different techniques to generate LR(k) parsing code

A compiler to x86 assembly written in OCaml.