Popular repositories Loading

1. microKanren microKanren Public

   The implementation of microKanren, a featherweight relational programming language

   Scheme 318 35

2. miniKanren miniKanren Public

   An outdated miniKanren implementation with a not-pairo constraint

   Scheme 30 6

3. micro-in-mini micro-in-mini Public

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

   Racket 27 4

4. constraint-microKanren constraint-microKanren Public

   A microKanren framework for implementing constraints.

   Racket 19 4

5. Roll-Your-Own-Relational-DSL Roll-Your-Own-Relational-DSL Public

   Lambda Jam 2014: Roll Your Own Relational DSL

   Racket 15 1

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

   microKanren implementation from DLS '16

   Racket 14 4