Repos by webyrd
webyrd / repos
97 repos
Repo | Language | Stars | Rank | |
---|---|---|---|---|
Barliman | Scheme | 1,039 | 14 | |
mediKanren | Racket | 316 | 18 | |
miniKanren-with-symbolic-constraints | Scheme | 155 | 74 | |
miniKanren | Scheme | 132 | 85 | |
quines | Scheme | 130 | 87 | |
probKanren | Scheme | 60 | 161 | |
dissertation-single-spaced | TeX | 59 | 1,674 | |
untitled-relational-interpreter-book | Scheme | 53 | 172 | |
miniKanren-uncourse | Scheme | 52 | 177 | |
relational-parsing-with-derivatives | Scheme | 42 | 214 |