An open API service providing repository metadata for many open source software ecosystems.

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: 7 days ago - Pushed at: 20 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: 3 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: 7 days ago - Pushed at: 19 days ago - Stars: 33 - Forks: 5

namin/lms-black

purple: compiling a reflective language

Language: Scala - Size: 242 KB - Last synced at: 7 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: 7 days ago - Pushed at: 8 days ago - Stars: 21 - Forks: 4

namin/lms-koika

Collapsing Towers for Side-Channel Security

Language: C - Size: 665 KB - Last synced at: 7 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: 7 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: 29 days 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