generative-programming

There are 11 repositories under generative-programming topic.

namin/staged-miniKanren
staged relational interpreters: running with holes, faster
Language:Racket126 13 516
scala-lms/tutorials
Tutorials on Lightweight Modular Staging
Language:Scala120 16 745
namin/pink
Collapsing Towers of Interpreters (in Scheme)
Language:Scheme56 7 03
namin/lms-verify
generative programming & verification
Language:C32 5 05
namin/lms-black
purple: compiling a reflective language
Language:Scala30 6 04
namin/collapsing-towers
Collapsing Towers of Interpreters
Language:Scala2
alexander-mart/rugit
Automatic programming helper unility: run command & semantic git commit it
Language:Shell1 1 00
ocramz/tagless-staged
Notes from "Combinators for Impure yet Hygienic Code Generation"
Language:Haskell1 2 0
jhkloss/libg3n
Designed for automatic configuration and generation of program libraries. The module systematically searches for variation points which are specified in the program library source files.
Language:Python0 1 00
JuanAlberto-Mx/Syntixi
Sýntixi is a generator implemented in Java language to support the dynamic fusion of software components.
Language:Java0 0 00
yepengding/Seniz
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
Language:Java0 2 00