🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

staged relational interpreters: running with holes, faster

A high-performance, parallel, compilation-based symbolic execution engine

Tutorials on Lightweight Modular Staging

generative programming & verification

An implementation of MacroML [Ganz, Sabry & Taha 2001]

Run-time program generator embedded in C++

Quantum circuits compiler with staging and continuations

A repository of MetaOCaml packages

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

Staged regular expression library for MetaOCaml

Camel is a graph-based, multi-stage, and type-driven domain-specific language (DSL) designed to bridge the gap between AI research and production deployment.

This library simulates and optimises Two-Stage and Multi-Stage policies for assemble-to-order problems. Specifically, this strategy allows the manufacture of the components under demand uncertainty, while assembling end items only after demand is realised.

Collapsing Towers for Side-Channel Security

Notes from "Combinators for Impure yet Hygienic Code Generation"