All Git Users → ilya-klyuchnikov

4 open source projects by ilya-klyuchnikov

[ Open user page on Github ]

Code from the book "Types and Programming Languages" in Scala

✭ 157

scala type-checking

A SuperCompiler for Martin-Löf's Type Theory

✭ 94

scala coq type-theory

A toolkit for building multi-result supercompilers

✭ 30

scala partial-evaluation supercompilation

SC Mini is a "minimal" positive supercompiler

✭ 38

haskell supercompilation

1-4 of 4 user projects