168 Repositories
Barliman
1076
mediKanren
337
miniKanren-with-symbolic-constraints
167
miniKanren
135
quines
131
probKanren
67
dissertation-single-spaced
63
untitled-relational-interpreter-book
52
miniKanren-uncourse
52
relational-parsing-with-derivatives
43
linear-logic-multiset-rewriting
36
faster-miniKanren
36
TAPL-in-miniKanren-cKanren-core.logic
35
webmk
34
slpKanren
34
miniKanren-hangout-summaries
28
alphaKanren
26
normalization-by-evaluation
25
anti-unification
24
hindley-milner-type-inferencer
23
scheme-primer
22
cato
22
relational-cesk
21
midoriKanren
21
curnelo
17
polyconf-2015
16
declarative-semantics
15
2012-scheme-workshop-quines-paper-code
15
wreckto-verseo
14
tree-automata
14
cool-relational-interpreter-examples
14
imperishable-wonderland
13
bronze-to-gm-miniKanren
13
will-writes-books
12
relational-interpreter-book-and-course
12
latticeKanren
12
summer-scheming
11
set-constraints
11
relational-interpreter-with-match
11
tabling
10
stranger-loops-talk
10
automata-and-mutual-recursion
10
n-grams-for-synthesis
9
Strange-Loop-2014
8
relational-amb
8
strange-loop-2013
7
Running-Backwards--Part-1
7
computation-languages-and-research-an-idiosyncratic-view
7
underconstraints
6
scheme-fun-hacking
6