generative-programming topic
List
generative-programming repositories
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-black
27
Stars
4
Forks
Watchers
purple: compiling a reflective language
lms-verify
30
Stars
5
Forks
Watchers
generative programming & verification
pink
52
Stars
3
Forks
Watchers
Collapsing Towers of Interpreters (in Scheme)