multi-stage-programming topic

Run-time program generator embedded in C++

AirGuanZ

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

breandan

staged relational interpreters: running with holes, faster

namin

Tutorials on Lightweight Modular Staging

scala-lms

generative programming & verification

namin

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

gfngfn

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

Generative-Program-Analysis