breandan/kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

Language: Kotlin - Size: 288 MB - Last synced at: about 10 hours ago - Pushed at: 5 months ago - Stars: 536 - Forks: 22

namin/staged-miniKanren

multi-stage relational programming for staged relational interpreters: running with holes, faster

Language: Racket - Size: 1.19 MB - Last synced at: 6 days ago - Pushed at: 19 days ago - Stars: 131 - Forks: 16

Generative-Program-Analysis/GenSym

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

Language: Java - Size: 21.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 129 - Forks: 5

scala-lms/tutorials

Tutorials on Lightweight Modular Staging

Language: Scala - Size: 1.04 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 117 - Forks: 77

namin/lms-verify

generative programming & verification

Language: C - Size: 873 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 33 - Forks: 5

gfngfn/toy-macro-ml

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

Language: OCaml - Size: 80.1 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 31 - Forks: 1

AirGuanZ/cuj

Run-time program generator embedded in C++

Language: C++ - Size: 3.12 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 25 - Forks: 5

OpenCML/Camel

Camel is a graph-based, multi-stage, and type-driven domain-specific language (DSL) designed to bridge the gap between AI research and production deployment.

Language: C++ - Size: 5.32 MB - Last synced at: 16 days ago - Pushed at: 18 days ago - Stars: 18 - Forks: 2

Kraks/quantum-compiler

Quantum circuits compiler with staging and continuations

Language: Scala - Size: 112 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 16 - Forks: 0

metaocaml/metaocaml-opam

A repository of MetaOCaml packages

Size: 44.9 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 2

alhassy/multistage-programming-taha

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

Language: Haskell - Size: 194 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 0

yallop/ocaml-reex

Staged regular expression library for MetaOCaml

Language: OCaml - Size: 25.4 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 0

damhiya/MetaLambda

Language: Haskell - Size: 108 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

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.

Language: Python - Size: 271 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 1

namin/lms-koika

Collapsing Towers for Side-Channel Security

Language: C - Size: 665 KB - Last synced at: 6 days ago - Pushed at: 17 days ago - Stars: 3 - Forks: 4

gfngfn/lw-staged-deptype

Language: Haskell - Size: 542 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

ocramz/tagless-staged

Notes from "Combinators for Impure yet Hygienic Code Generation"

Language: Haskell - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0