168 Repositories
relational-reactive-programming
6
relational-progress-sensitive-security
6
peano-challenge
6
mk-metacircular-interp
6
mk-interp
6
igors-turing-machine
6
first-class-macros
6
simple-raytracer
5
shovel-books
5
relational-dfa
5
CytoChan
5
CodeFromTheReasonedSchemer2ndEd
5
symbolo-numbero-tests-for-core-logic
4
Scheme-macros
4
rnn-clojure
4
relational-unifier
4
MU-puzzle
4
mk-cps
4
miniKanren-miniCourse
4
lambda-lounge-utah-mk-talk
4
gentle-intro-to-mk
4
relational-interp-in-SMT
3
relational-alpha-equivalence-experiments
3
meta-circular-interp-in-mk
3
elephantKanren
3
compositional-typing
3
boston-clojure-group-talk
3
zoo
2
utah-minikanren-summer-school
2
templateo
2
relational-interpreter-with-set-bang
2
pcpo
2
multi-quine
2
miniKanren-pretty-printer
2
minikanren-playground
2
mad-at-x
2
KeySchem-ture
2
interleaving-small-step-evaluation
2
error-handling-relational-interpreter
2
daily-mK
2
clpset-environment-experiments
2
cKanren
2
cartesian-evalo
2
awesome-neural-geometry
2
2011-scheme-workshop-quines-paper-code
2
veneer
1
typeo
1
the-little-schemer
1
syntax-case-experiments
1
staged-miniKanren
1