Projects in Awesome Lists tagged with multi-stage-programming
A curated list of projects in awesome lists tagged with multi-stage-programming .
https://github.com/breandan/kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
algebraic-data-types array-programming automatic-differentiation chinese computer-algebra differentiable-programming gradient-descent kotlin linear-algebra message-passing multi-stage-programming optimization shape-safety symbolic-differentiation types
Last synced: 15 May 2025
https://github.com/namin/staged-minikanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
generative-programming minikanren multi-stage-programming racket scheme
Last synced: 12 Feb 2026
https://github.com/namin/lms-verify
generative programming & verification
c frama-c generative-programming multi-stage-programming scala verification
Last synced: 20 Mar 2025
https://github.com/gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
macro multi-stage-programming ocaml type-checker type-system
Last synced: 29 Oct 2025
https://github.com/kraks/quantum-compiler
Quantum circuits compiler with staging and continuations
compiler continuation-passing-style continuations multi-stage-programming quantum-circuit-simulator quantum-compiler quantum-computing quantum-programming-language staging
Last synced: 25 Oct 2025
https://github.com/alhassy/multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
cheatsheet haskell metaocaml multi-stage-programming ocaml
Last synced: 25 Oct 2025
https://github.com/yallop/ocaml-reex
Staged regular expression library for MetaOCaml
metaocaml multi-stage-programming ocaml regex regular-expressions
Last synced: 05 Jul 2025
https://github.com/namin/lms-koika
Collapsing Towers for Side-Channel Security
collapsing-towers generative-programming multi-stage-programming scala towers verification
Last synced: 18 Oct 2025
https://github.com/ocramz/tagless-staged
Notes from "Combinators for Impure yet Hygienic Code Generation"
generative-programming metaprogramming multi-stage-programming tagless-final
Last synced: 27 Mar 2025
