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

Valentin Turchin's four-layer Refal supersystem, in Rust: a self-hosting Refal-5 compiler that drives (supercompilation over a graph of states), a reflection engine and a meta-prover. Metacomputation, term rewriting, partial evaluation, the Futamura projections -- each measured against Turchin's own papers.

Production-grade Spring Boot starter for ABAC authorization with Open Policy Agent

Regular Expression Matcher generator using Just-In-Time Compilation

The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.

Generate code for geometric-algebra expressions by partial evaluation

A fully statically typed CEL dialect in Rust: type-checked programs, demand extraction, partial evaluation, and a typed register-VM backend (fork of cel-rust)

Type Patterns: Pattern Matching on Shape-Carrying Array Types

A C dialect in which nothing runs. Programs are buried, not executed; what ships is the trace and the holes the world still owes an answer to. An inversion of HolyC.

Customizable partial evaluation for Common Lisp

Metacomputations course (2021)

A Scala DSL for fuzzy logic operations, partial evaluation, and object-oriented class modeling.

A partial evaluator for WebAssembly