Popular repositoriesLoading

1. microKanrenmicroKanrenPublic

   The implementation of microKanren, a featherweight relational programming language

   Scheme 308 30

2. miniKanrenminiKanrenPublic

   An outdated miniKanren implementation with a not-pairo constraint

   Scheme 30 6

3. micro-in-minimicro-in-miniPublic

   an implementation of a microKanren(-like language) in miniKanren

   Racket 26 4

4. constraint-microKanrenconstraint-microKanrenPublic

   A microKanren framework for implementing constraints.

   Racket 18 4

5. Roll-Your-Own-Relational-DSLRoll-Your-Own-Relational-DSLPublic

   Lambda Jam 2014: Roll Your Own Relational DSL

   Racket 15 1

6. microKanren-DLS-16microKanren-DLS-16Public

   microKanren implementation from DLS '16

   Racket 14 4