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