There are 1 repository under multi-stage-programming topic.
š§© Shape-Safe Symbolic Differentiation with Algebraic Data Types
staged relational interpreters: running with holes, faster
A high-performance, parallel, compilation-based symbolic execution engine
An implementation of MacroML [Ganz, Sabry & Taha 2001]
generative programming & verification
A repository of MetaOCaml packages
Quantum circuits compiler with staging and continuations
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
Staged regular expression library for MetaOCaml
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.
Notes from "Combinators for Impure yet Hygienic Code Generation"