156 Repositories
Barliman
1042
mediKanren
317
miniKanren-with-symbolic-constraints
157
miniKanren
131
quines
130
probKanren
60
dissertation-single-spaced
60
untitled-relational-interpreter-book
53
miniKanren-uncourse
52
relational-parsing-with-derivatives
42
faster-miniKanren
36
TAPL-in-miniKanren-cKanren-core.logic
35
webmk
32
slpKanren
32
linear-logic-multiset-rewriting
29
miniKanren-hangout-summaries
28
alphaKanren
23
scheme-primer
22
relational-cesk
22
normalization-by-evaluation
22
cato
22
anti-unification
22
hindley-milner-type-inferencer
20
curnelo
17
polyconf-2015
16
2012-scheme-workshop-quines-paper-code
15
declarative-semantics
14
cool-relational-interpreter-examples
14
wreckto-verseo
13
will-writes-books
13
tree-automata
12
latticeKanren
12
summer-scheming
11
set-constraints
11
relational-interpreter-with-match
11
tabling
10
stranger-loops-talk
10
imperishable-wonderland
10
automata-and-mutual-recursion
10
Strange-Loop-2014
8
n-grams-for-synthesis
8
computation-languages-and-research-an-idiosyncratic-view
8
strange-loop-2013
7
Running-Backwards--Part-1
7
relational-amb
7
underconstraints
6
scheme-fun-hacking
6
relational-reactive-programming
6
relational-progress-sensitive-security
6
peano-challenge
6