ilya-klyuchnikov
Results
7
repositories owned by
ilya-klyuchnikov
ttlite
121
Stars
9
Forks
Watchers
A SuperCompiler for Martin-Löf's Type Theory
tapl-scala
175
Stars
22
Forks
Watchers
Code from the book "Types and Programming Languages" in Scala
lambdapi
111
Stars
21
Forks
Watchers
Dependently Typed Lambda Calculus in Haskell
mrsc
31
Stars
5
Forks
Watchers
A toolkit for building multi-result supercompilers
sc-mini
47
Stars
13
Forks
Watchers
SC Mini is a "minimal" positive supercompiler