Verified Intermediate Representation

Meta-theory of TEAL

OCaml bindings for gbm

OCaml bindings for libdrm

OCaml bindings for libinput

The Cambridge Part IA Discrete Maths course in Lean

Zero-boilerplate FFI bindings for polyglot projects with type safety.

A repository containing the Haskell implementation of the ChiRho library.

adaption of supercompilation-by-evaluation (https://github.com/batterseapower/supercompilation-by-evaluation) to update-to-date ghc

Modern scientific computing for OCaml

Reinterpreting Idris syntax in multiple contexts

Lua 5.2 bindings for OCaml

Controlling up to three chains of 64x64, 32x32, 16x32 or similar RGB LED displays using Raspberry Pi GPIO

Part III Project -- Staging Effect Handlers for Search Combinators

Applying LRGrep to OCaml frontend

Dependently typed stack machine language prototype in Agda

Miso is a programming language with a powerful type system that supports subtyping on mutually iso-recursive data types as well as higher-order types.

An implementation of "A Typed Approach to Parsing" in idris

Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

A project to map out the relations between different equational theories of Magmas.

Aegis is a language that enforces secure information flow by using a security-augmented type system.

Statically typed embedding of miniKanren relational programming language into OCaml

Visualization tool for your IO-uring workload

secp256k1 bindings for Schnorr signatures