Repos by webyrd
webyrd / repos
100 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | TAPL-in-miniKanren-cKanren-core.logic | Scheme | 35 | 259 |
| slpKanren | Scheme | 32 | 274 |
| webmk | Scheme | 32 | 273 |
| linear-logic-multiset-rewriting | Scheme | 29 | 293 |
| miniKanren-hangout-summaries | Scheme | 28 | 309 |
| alphaKanren | Scheme | 23 | 381 |
| relational-cesk | Scheme | 22 | 409 |
| anti-unification | Scheme | 22 | 408 |
| cato | Scheme | 22 | 406 |
| scheme-primer | Scheme | 22 | 390 |