kourzanov/bkanren
A port of minikanren to Bigloo Scheme
Developer Profile
kourzanov
Discovered public repositories for kourzanov in the GitHub catalog.
kourzanov/webmk
miniKanren for interactive tutorials on the web
kourzanov/Parsing-Backwards--Part-1
A clone on @webyrd's Running Backwards
kourzanov/purecube
Declarative approach to Declarative parsing with Declarative tools
kourzanov/mlworks
MLWorks is a Standard ML compiler and development environment. See <http://www.ravenbrook.com/project/mlworks/>.
kourzanov/jenprog
simple Jennic programmer tool
kourzanov/jor1k
OR1K Emulator written in Javascript running Linux
kourzanov/or1ksim
The OpenRISC 1000 architectural simulator
kourzanov/inet
INET framework for the OMNeT++ discrete event simulator
kourzanov/stalin
stalin brutally optimizing Scheme compiler, with Debianization patches
kourzanov/emscripten
Emscripten: An LLVM-to-JavaScript Compiler
kourzanov/node
evented I/O for v8 javascript
kourzanov/101repo
Implementations belonging to the 101companies project
kourzanov/inferno
probabilistic inference strategies
kourzanov/cKanren
Public repository.
kourzanov/miniKanren
Will's personal version of miniKanren, since he can never find the version he wants
kourzanov/quines
Relational interpreter in miniKanren that can generate quines
kourzanov/teapots
Decomposing triangles into right triangles in various languages