🧩 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

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.

Notes from "Combinators for Impure yet Hygienic Code Generation"