multi-stage-programming topic
List
multi-stage-programming repositories
cuj
26
Stars
6
Forks
Watchers
Run-time program generator embedded in C++
kotlingrad
510
Stars
21
Forks
Watchers
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
staged-miniKanren
122
Stars
16
Forks
Watchers
staged relational interpreters: running with holes, faster
tutorials
117
Stars
44
Forks
Watchers
Tutorials on Lightweight Modular Staging
lms-verify
30
Stars
5
Forks
Watchers
generative programming & verification
toy-macro-ml
30
Stars
1
Forks
Watchers
An implementation of MacroML [Ganz, Sabry & Taha 2001]
GenSym
112
Stars
3
Forks
Watchers
A high-performance, parallel, compilation-based symbolic execution engine