generative-programming

There are 2 repositories under generative-programming topic.

• namin / staged-miniKanren

  multi-stage relational programming for staged relational interpreters: running with holes, faster

  generative-programmingminikanrenmulti-stage-programmingracketscheme
  Language:Racket 137

• scala-lms / tutorials

  Tutorials on Lightweight Modular Staging

  generative-programmingscalatutorialcmulti-stage-programming
  Language:Scala 121

• namin / pink

  Collapsing Towers of Interpreters (in Scheme)

  schemegenerative-programmingmetaprogrammingtowerscollapsing-towers
  Language:Scheme 57

• namin / lms-verify

  generative programming & verification

  scalaframa-cmulti-stage-programmingverificationgenerative-programmingc
  Language:C 34

• namin / lms-black

  purple: compiling a reflective language

  generative-programmingreflectionschemescalatowerscollapsing-towers
  Language:Scala 33

• namin / holey

  Python library for program synthesis and symbolic execution combining constraint solving and LLMs

  aiconstraintsgenerative-programmingllmpythonsmtsynthesis
  Language:Python 25

• namin / lms-koika

  Collapsing Towers for Side-Channel Security

  generative-programmingmulti-stage-programmingscalatowersverificationcollapsing-towers
  Language:C 3

• namin / collapsing-towers

  Collapsing Towers of Interpreters

  collapsing-towersgenerative-programmingmetaprogrammingscalaschemetowersreflection
  Language:Scala 2

• alexander-mart / rugit

  Automatic programming helper unility: run command & semantic git commit it

  bash-scriptcliconventional-commitsgenerativegitunix-philosophybashcommand-line-toolgenerative-programmingyamlautomatic-programming
  Language:Shell 1

• ocramz / tagless-staged

  Notes from "Combinators for Impure yet Hygienic Code Generation"

  metaprogrammingtagless-finalmulti-stage-programminggenerative-programming
  Language:Haskell 1

• 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.

  generative-programminglibrary-generatorpythonjava
  Language:Python 0

• JuanAlberto-Mx / Syntixi

  Sýntixi is a generator implemented in Java language to support the dynamic fusion of software components.

  javagenerative-programmingdynamic-fusionmape-kcomponent-based
  Language:Java 0

• yepengding / Seniz

  Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).

  fddformal-methodsformalism-driven-developmentgenerative-programmingmodeling-language
  Language:Java 0