A monadic library for creating synthesizers in OCaml.
Functional kernel written in OCaml.
An OCaml library for creating pandoc filters.
A string diagram generator for LaTeX.
Algebraic structures in OCaml.
An infinity-categorical coherence typechecker
String diagrams in LaTeX.
A simple type-theoretic language in OCaml: Mini-TT
Modeling guitar amplifiers using machine learning.
Extract snippets from code specified by comments.
OCaml bindings for glpk
My own implementation of MLsub.
A compiler for sound generators and processors.
IRC client for OCaml