multi-stage-programming

There are 1 repository under multi-stage-programming topic.

kotlingrad
breandan / kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
automatic-differentiation differentiable-programming computer-algebra kotlin types shape-safety multi-stage-programming symbolic-differentiation optimization gradient-descent algebraic-data-types array-programming message-passing linear-algebra chinese
Language:Kotlin 542
Generative-Program-Analysis / GenSym
A high-performance, parallel, compilation-based symbolic execution engine
compiler metaprogramming multi-stage-programming scala symbolic-execution symbolic-execution-engine
Language:Java 142
namin / staged-miniKanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
scheme minikanren multi-stage-programming generative-programming racket
Language:Racket 137
scala-lms / tutorials
Tutorials on Lightweight Modular Staging
c generative-programming multi-stage-programming scala tutorial
Language:Scala 121
namin / lms-verify
generative programming & verification
scala frama-c multi-stage-programming verification generative-programming c
Language:C 33
gfngfn / toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
type-system type-checker ocaml macro multi-stage-programming
Language:OCaml 32
AirGuanZ / cuj
Runtime program generator embedded in C++
cpp20 meta-programming multi-stage-programming
Language:C++ 30
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
Language:Scala 17
damhiya / MetaLambda
metaprogramming multi-stage-programming haskell lambda-calculus programming-language modal-type-theory adjoint-type-theory contextual-modal-type-theory modal-logic
Language:Haskell 14
metaocaml / metaocaml-opam
A repository of MetaOCaml packages
metaocaml opam-repository metaprogramming multi-stage-programming
13
yallop / ocaml-reex
Staged regular expression library for MetaOCaml
regex regular-expressions multi-stage-programming ocaml metaocaml
Language:OCaml 12
alhassy / multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
haskell multi-stage-programming ocaml metaocaml cheatsheet
Language:Haskell 10
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.
manufacturing multi-stage-programming production risk-management
Language:Python 6
gfngfn / lw-staged-deptype
dependent-type-theory dependent-types metaprogramming multi-stage-programming type-system
Language:Haskell 4
namin / lms-koika
Collapsing Towers for Side-Channel Security
generative-programming multi-stage-programming scala towers verification collapsing-towers
Language:C 3
ocramz / tagless-staged
Notes from "Combinators for Impure yet Hygienic Code Generation"
metaprogramming tagless-final multi-stage-programming generative-programming
Language:Haskell 1