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

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

A compiler that compiles itself, and a prover that decides by supercompilation. Valentin Turchin's four-layer Refal supersystem — a Refal-5 machine, a reflection engine, a supercompiler and a meta-prover — built in Rust and measured against his own papers: metasystem transition, metacomputation, the Futamura projections.

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

Regular Expression Matcher generator using Just-In-Time Compilation

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.

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)

Generate code for geometric-algebra expressions by partial evaluation

Type Patterns: Pattern Matching on Shape-Carrying Array Types

Metacomputations course (2021)

Customizable partial evaluation for Common Lisp

A partial evaluator for WebAssembly

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

ZERUM — A Computação Antes da Execução: compilador de necessidade certificado (SIFR + SCA + numeral Z). 0 erros em 500k casos; 500k certificados verificados; 76,5% da computação eliminada.