multi-stage-programming

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

• kotlingrad

  breandan / kotlingrad

  🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

  automatic-differentiationdifferentiable-programmingcomputer-algebrakotlintypesshape-safetymulti-stage-programmingsymbolic-differentiationoptimizationgradient-descentalgebraic-data-typesarray-programmingmessage-passinglinear-algebrachinese
  Language:Kotlin 509

• namin / staged-miniKanren

  staged relational interpreters: running with holes, faster

  schememinikanrenmulti-stage-programminggenerative-programming
  Language:Racket 122

• scala-lms / tutorials

  Tutorials on Lightweight Modular Staging

  generative-programmingscalatutorialcmulti-stage-programming
  Language:Scala 117

• Generative-Program-Analysis / GenSym

  A high-performance, parallel, compilation-based symbolic execution engine

  compilermetaprogrammingmulti-stage-programmingscalasymbolic-executionsymbolic-execution-engine
  Language:Java 112

• namin / lms-verify

  generative programming & verification

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

• gfngfn / toy-macro-ml

  An implementation of MacroML [Ganz, Sabry & Taha 2001]

  type-systemtype-checkerocamlmacromulti-stage-programming
  Language:OCaml 28

• AirGuanZ / cuj

  Run-time program generator embedded in C++

  cpp20multi-stage-programmingmeta-programming
  Language:C++ 25

• metaocaml / metaocaml-opam

  A repository of MetaOCaml packages

  metaocamlopam-repositorymetaprogrammingmulti-stage-programming
  12

• Kraks / quantum-compiler

  Quantum circuits compiler with staging and continuations

  compilercontinuation-passing-stylecontinuationsmulti-stage-programmingquantum-circuit-simulatorquantum-compilerquantum-computingquantum-programming-languagestaging
  Language:Scala 11

• alhassy / multistage-programming-taha

  A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

  cheatsheethaskellmetaocamlmulti-stage-programmingocaml
  Language:Haskell 10

• damhiya / MetaLambda

  metaprogrammingmulti-stage-programminghaskelllambda-calculusprogramming-languagemodal-type-theoryadjoint-type-theorycontextual-modal-type-theorymodal-logic
  Language:Haskell 8

• yallop / ocaml-reex

  Staged regular expression library for MetaOCaml

  metaocamlmulti-stage-programmingocamlregexregular-expressions
  Language:OCaml 8

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

  manufacturingmulti-stage-programmingproductionrisk-management
  Language:Python 3

• ocramz / tagless-staged

  Notes from "Combinators for Impure yet Hygienic Code Generation"

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