Topic: "generative-programming"
namin/staged-miniKanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
Language: Racket - Size: 1.2 MB - Last synced at: 9 days ago - Pushed at: 22 days ago - Stars: 133 - Forks: 16
scala-lms/tutorials
Tutorials on Lightweight Modular Staging
Language: Scala - Size: 1.04 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 117 - Forks: 77
namin/pink
Collapsing Towers of Interpreters (in Scheme)
Language: Scheme - Size: 17.6 KB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 57 - Forks: 3
namin/lms-verify
generative programming & verification
Language: C - Size: 854 KB - Last synced at: 9 days ago - Pushed at: 21 days ago - Stars: 33 - Forks: 5
namin/lms-black
purple: compiling a reflective language
Language: Scala - Size: 242 KB - Last synced at: 9 days ago - Pushed at: 9 months ago - Stars: 32 - Forks: 4
namin/holey
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
Language: Python - Size: 4.7 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 21 - Forks: 4
namin/lms-koika
Collapsing Towers for Side-Channel Security
Language: C - Size: 665 KB - Last synced at: 9 days ago - Pushed at: 2 months ago - Stars: 3 - Forks: 4
namin/collapsing-towers Fork of TiarkRompf/collapsing-towers
Collapsing Towers of Interpreters
Language: Scala - Size: 177 KB - Last synced at: 9 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
alexander-mart/rugit
Automatic programming helper unility: run command & semantic git commit it
Language: Shell - Size: 3.36 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
ocramz/tagless-staged
Notes from "Combinators for Impure yet Hygienic Code Generation"
Language: Haskell - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
yepengding/Seniz
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
Language: Java - Size: 897 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
JuanAlberto-Mx/Syntixi
Sýntixi is a generator implemented in Java language to support the dynamic fusion of software components.
Language: Java - Size: 104 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
