multi-stage-programming
There are 15 repositories under multi-stage-programming topic.
breandan/kotlingrad
š§© Shape-Safe Symbolic Differentiation with Algebraic Data Types
namin/staged-miniKanren
staged relational interpreters: running with holes, faster
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
scala-lms/tutorials
Tutorials on Lightweight Modular Staging
namin/lms-verify
generative programming & verification
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
AirGuanZ/cuj
Run-time program generator embedded in C++
Kraks/quantum-compiler
Quantum circuits compiler with staging and continuations
metaocaml/metaocaml-opam
A repository of MetaOCaml packages
alhassy/multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
yallop/ocaml-reex
Staged regular expression library for MetaOCaml
DanieleGioia/ATO
This library simulates and optimises Two-Stage and Multi-Stage policies for assemble-to-order problems. Specifically, this strategy allows the manufacture of the components under demand uncertainty, while assembling end items only after demand is realised.
ocramz/tagless-staged
Notes from "Combinators for Impure yet Hygienic Code Generation"