etiamz / supercompilation-resources Star 130 Code Issues Pull requests 📚 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 Star 125 Code Issues Pull requests 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 Star 51 Code Issues Pull requests SC Mini is a "minimal" positive supercompiler supercompilation Updated Nov 21, 2020 Haskell
ilya-klyuchnikov / mrsc Star 33 Code Issues Pull requests A toolkit for building multi-result supercompilers partial-evaluation supercompilation Updated Oct 23, 2021 Scala
Abhinav-Rust / REFAL-SUPERSYSTEM Star 3 Code Issues Pull requests A compiler that compiles itself. A prover that decides by supercompilation. Turchin's four-layer supersystem, built and measured. programming-language rust parser interpreter compiler theorem-proving lexer self-hosting formal-verification term-rewriting program-transformation partial-evaluation refal supercompilation refal-5 turchin metacomputation metasystem-transition Updated Oct 5, 2026 Rust
acuarica / hsc Star 1 Code Issues Pull requests 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 Star 1 Code Issues Pull requests A simple positive supercompiler. haskell metaprogramming supercompilation Updated Sep 9, 2021 Haskell