ilya-klyuchnikov/clojure-logic-examples
Public repository.
Developer Profile
ilya-klyuchnikov
Discovered public repositories for ilya-klyuchnikov in the GitHub catalog.
ilya-klyuchnikov/faba
Fast Bytecode Analysis
ilya-klyuchnikov/program-analysis
Public repository.
ilya-klyuchnikov/kanva-micro
Public repository.
ilya-klyuchnikov/kanva
Public repository.
ilya-klyuchnikov/sat4j-experiments
Experiments with Sat4j.
ilya-klyuchnikov/metacomputation-book
Public repository.
ilya-klyuchnikov/sll-xtext
Public repository.
ilya-klyuchnikov/minimetamix
minimetamix - a collection of simple and minimalistic items
ilya-klyuchnikov/MiniAgda-mode
An emacs mode for MiniAgda
ilya-klyuchnikov/plt-study
A path to Programming Language Theory enlightenment
ilya-klyuchnikov/epigram1
Public repository.
ilya-klyuchnikov/computation
Public repository.
ilya-klyuchnikov/sll-meta-racket
Metacomputation in Racket
ilya-klyuchnikov/partial-evaluation-tutorial
Racket implementation of Cook and Lämmel's partial evaluation tutorial.
ilya-klyuchnikov/reflection-agda
Public repository.
ilya-klyuchnikov/pigit
seeing what Epigram looks like after a darcs-fastconvert (NOT AN OFFICIAL MIRROR)
ilya-klyuchnikov/flowchart-racket
Public repository.
ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
ilya-klyuchnikov/mixfix-parsers
Mixfix add-on for Scala parser combinators
ilya-klyuchnikov/henk
Pure Type Systems for Functional Programming
ilya-klyuchnikov/PiSigma
A dependently typed core language
ilya-klyuchnikov/uAgda
[UNOFFICIAL FORK] Making uAgda work with ghc 7.4.1
ilya-klyuchnikov/nano-Agda
Tiny type-checker with dependent types
ilya-klyuchnikov/lambdapi
Dependently Typed Lambda Calculus in Haskell
ilya-klyuchnikov/scheme-scala
Public repository.
ilya-klyuchnikov/tt
A minimalist implementation of type theory, suitable for experimentation
ilya-klyuchnikov/supercompilation-hypergraph
Public repository.
ilya-klyuchnikov/distill
Public repository.
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
ilya-klyuchnikov/sll-meta-haskell
"Metacomputation and its Applications" implemented for SLL
ilya-klyuchnikov/mrsc
A toolkit for building multi-result supercompilers
ilya-klyuchnikov/sc-mini
SC Mini is a "minimal" positive supercompiler
ilya-klyuchnikov/spsc-lite-scala
The main goal is to code SPSC in idiomatic Scala
ilya-klyuchnikov/hosc
Higher-Order Supercompiler
ilya-klyuchnikov/hosc2
Higher-Level Supercompiler