supercompilation

There are 5 repositories under supercompilation topic.

ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
Language:Scala119 10 09
ilya-klyuchnikov/sc-mini
SC Mini is a "minimal" positive supercompiler
Language:Haskell46 4 1213
ilya-klyuchnikov/mrsc
A toolkit for building multi-result supercompilers
Language:Scala30 5 465
acuarica/hsc
The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.
Language:Haskell1 2 00
ZhekehZ/Supercompilation
A simple positive supercompiler.
Language:Haskell1 2 00