13 results for “topic:partial-evaluation”
MimIR is my Intermediate Representation
Renderer and BVH traversal library
A toolkit for building multi-result supercompilers
The AlteRnaTive Impala Compiler
A strongly-typed duck-typed language. Solves type constraints on polymorphic functions and performs best-as-possible constant expression evaluation
Regular Expression Matcher generator using Just-In-Time Compilation
The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.
Metacomputations course (2021)
Generate code for geometric-algebra expressions by partial evaluation
Customizable partial evaluation for Common Lisp
Type Patterns: Pattern Matching on Shape-Carrying Array Types
A Scala DSL for fuzzy logic operations, partial evaluation, and object-oriented class modeling.
A partial evaluator for WebAssembly