GitHub topics: partial-evaluation
AnyDSL/MimIR
MimIR is my Intermediate Representation
Language: C++ - Size: 345 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 68 - Forks: 14
AnyDSL/artic
The AlteRnaTive Impala Compiler
Language: C++ - Size: 2.25 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 26 - Forks: 6
jharrilim/duckstruct
A strongly-typed duck-typed language. Solves type constraints on polymorphic functions and performs best-as-possible constant expression evaluation
Language: Rust - Size: 334 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 0
ilya-klyuchnikov/mrsc
A toolkit for building multi-result supercompilers
Language: Scala - Size: 2.03 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 5
hcschuetz/pegeal
Generate code for geometric-algebra expressions by partial evaluation
Language: TypeScript - Size: 542 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
AnyDSL/rodent
Renderer and BVH traversal library
Language: C++ - Size: 86.6 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 58 - Forks: 12
slowlime/stitch
A partial evaluator for WebAssembly
Language: Rust - Size: 1.26 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
hu-dwim/hu.dwim.partial-eval
Customizable partial evaluation for Common Lisp
Language: Common Lisp - Size: 369 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
acuarica/hsc 📦
The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.
Language: Haskell - Size: 38.5 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
AnyDSL/regex
Regular Expression Matcher generator using Just-In-Time Compilation
Language: C++ - Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
sloboegen/metacomputations-course
Metacomputations course (2021)
Language: Racket - Size: 120 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
