📚 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
#
supercompilation
Here are 6 public repositories matching this topic...
A SuperCompiler for Martin-Löf's Type Theory
- Updated
Jan 29, 2022 - Scala
A toolkit for building multi-result supercompilers
- Updated
Oct 23, 2021 - Scala
A simple positive supercompiler.
- Updated
Sep 9, 2021 - Haskell
The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.
- Updated
Feb 12, 2023 - Haskell
Improve this page
Add a description, image, and links to the supercompilation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the supercompilation topic, visit your repo's landing page and select "manage topics."