Projects in Awesome Lists tagged with supercompilation
A curated list of projects in awesome lists tagged with supercompilation .
https://github.com/ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
agda coq dependent-types idris programming-language supercompilation type-theory
Last synced: 25 Oct 2025
https://github.com/ilya-klyuchnikov/sc-mini
SC Mini is a "minimal" positive supercompiler
Last synced: 03 Aug 2025
https://github.com/ilya-klyuchnikov/mrsc
A toolkit for building multi-result supercompilers
partial-evaluation supercompilation
Last synced: 23 Aug 2025