etiamz / supercompilation-resources Star 123 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 Jul 15, 2025
ilya-klyuchnikov / ttlite Star 122 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 46 Code Issues Pull requests SC Mini is a "minimal" positive supercompiler supercompilation Updated Nov 21, 2020 Haskell
ilya-klyuchnikov / mrsc Star 31 Code Issues Pull requests A toolkit for building multi-result supercompilers partial-evaluation supercompilation Updated Oct 23, 2021 Scala
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