#

supercompilation

Here are 7 public repositories matching this topic...

etiamz / supercompilation-resources

📚 A collection of resources about supercompilation

performance functional-programming static-analysis symbolic-execution type-theory program-analysis program-transformation supercompilation program-optimization

Updated Feb 27, 2026

ilya-klyuchnikov / ttlite

A SuperCompiler for Martin-Löf's Type Theory

programming-language dependent-types coq type-theory idris agda supercompilation

Updated Jan 29, 2022
Scala

ilya-klyuchnikov / sc-mini

SC Mini is a "minimal" positive supercompiler

supercompilation

Updated Nov 21, 2020
Haskell

ilya-klyuchnikov / mrsc

A toolkit for building multi-result supercompilers

partial-evaluation supercompilation

Updated Oct 23, 2021
Scala

Abhinav-Rust / REFAL-SUPERSYSTEM

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.

Updated Oct 7, 2026
Rust

acuarica / hsc

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

haskell optimization static-analysis theorem-proving partial partial-evaluation supercompilation

Updated Feb 12, 2023
Haskell

ZhekehZ / Supercompilation

A simple positive supercompiler.

haskell metaprogramming supercompilation

Updated Sep 9, 2021
Haskell

Add this topic to your repo

To associate your repository with the supercompilation topic, visit your repo's landing page and select "manage topics."