Projects in Awesome Lists tagged with generative-programming
A curated list of projects in awesome lists tagged with generative-programming .
https://github.com/namin/staged-minikanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
generative-programming minikanren multi-stage-programming racket scheme
Last synced: 14 Apr 2025
https://github.com/namin/pink
Collapsing Towers of Interpreters (in Scheme)
collapsing-towers generative-programming metaprogramming scheme towers
Last synced: 14 Apr 2025
https://github.com/namin/lms-verify
generative programming & verification
c frama-c generative-programming multi-stage-programming scala verification
Last synced: 20 Mar 2025
https://github.com/namin/lms-black
purple: compiling a reflective language
collapsing-towers generative-programming reflection scala scheme towers
Last synced: 22 Mar 2025
https://github.com/ocramz/tagless-staged
Notes from "Combinators for Impure yet Hygienic Code Generation"
generative-programming metaprogramming multi-stage-programming tagless-final
Last synced: 27 Mar 2025
