🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

• UpdatedDec 17, 2024
• Kotlin

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

• UpdatedDec 17, 2025
• Java

multi-stage relational programming for staged relational interpreters: running with holes, faster

• UpdatedNov 29, 2025
• Racket

Tutorials on Lightweight Modular Staging

• UpdatedOct 15, 2024
• Scala

generative programming & verification

• UpdatedJun 19, 2025
• C

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

• UpdatedDec 21, 2018
• OCaml

Runtime program generator embedded in C++

• UpdatedJun 15, 2022
• C++

Quantum circuits compiler with staging and continuations

• UpdatedNov 19, 2024
• Scala

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

• UpdatedDec 17, 2025
• C++

• UpdatedFeb 26, 2024
• Haskell

A repository of MetaOCaml packages

• UpdatedMay 16, 2025

Staged regular expression library for MetaOCaml

• UpdatedJun 30, 2023
• OCaml

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

• UpdatedSep 14, 2018
• Haskell

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.

• UpdatedJan 6, 2025
• Python

• UpdatedJun 4, 2025
• Haskell

Collapsing Towers for Side-Channel Security

• UpdatedJul 23, 2025
• C

Notes from "Combinators for Impure yet Hygienic Code Generation"

• UpdatedNov 24, 2021
• Haskell

Extension of REVOL-E-TION (https://github.com/TUMFTM/REVOL-E-TION) to optimize sequential investment decisions across multiple time horizons

• UpdatedDec 15, 2025
• Jupyter Notebook