Pinned Repositories
faba
Fast Bytecode Analysis
henk
Pure Type Systems for Functional Programming
hosc
Higher-Order Supercompiler
lambdapi
Dependently Typed Lambda Calculus in Haskell
mrsc
A toolkit for building multi-result supercompilers
refal
sc-mini
SC Mini is a "minimal" positive supercompiler
tapl-scala
Code from the book "Types and Programming Languages" in Scala
ttlite
A SuperCompiler for Martin-Löf's Type Theory
eqwalizer
A type-checker for Erlang
ilya-klyuchnikov's Repositories
ilya-klyuchnikov/sll-meta-haskell
"Metacomputation and its Applications" implemented for SLL
ilya-klyuchnikov/hosc2
Higher-Level Supercompiler
ilya-klyuchnikov/epigram1
ilya-klyuchnikov/distill
ilya-klyuchnikov/metacomputation-book
ilya-klyuchnikov/plt-study
A path to Programming Language Theory enlightenment
ilya-klyuchnikov/spsc-lite-scala
The main goal is to code SPSC in idiomatic Scala
ilya-klyuchnikov/cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
ilya-klyuchnikov/computation
ilya-klyuchnikov/fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#
ilya-klyuchnikov/gust
Small language with Pierce/Turner type inference
ilya-klyuchnikov/kanva
ilya-klyuchnikov/MiniAgda-mode
An emacs mode for MiniAgda
ilya-klyuchnikov/mixfix-parsers
Mixfix add-on for Scala parser combinators
ilya-klyuchnikov/nano-Agda
Tiny type-checker with dependent types
ilya-klyuchnikov/partial-evaluation-tutorial
Racket implementation of Cook and Lämmel's partial evaluation tutorial.
ilya-klyuchnikov/pigit
seeing what Epigram looks like after a darcs-fastconvert (NOT AN OFFICIAL MIRROR)
ilya-klyuchnikov/popl08-model
ilya-klyuchnikov/reflection-agda
ilya-klyuchnikov/sat4j-experiments
Experiments with Sat4j.
ilya-klyuchnikov/sll-xtext
ilya-klyuchnikov/sml-cidre
SML Checker for Intersection and Datasort Refinements (pronounced "cider")
ilya-klyuchnikov/supercompilation-hypergraph
ilya-klyuchnikov/tt
A minimalist implementation of type theory, suitable for experimentation
ilya-klyuchnikov/typed-clojure
DEPRECATED SEE BELOW Gradual typing for Clojure
ilya-klyuchnikov/uAgda
[UNOFFICIAL FORK] Making uAgda work with ghc 7.4.1