| -1717171303 | | Utilities for defining embedded macro expanders This package needs tags This package needs license metadata | succeeds | 2 |
| -1721527116 | | A fast implementation of miniKanren with disequality and absento. This package needs documentation This package needs tags This package needs license metadata | succeeds; has conflicts | 4 |
| -1726167054 | | An optimizing compiler implementation of miniKanren This package needs tags | succeeds; has dependency problems; has failing tests | 5 |
| -1726065984 | | An embedded expander wrapper around faster-minikanren, offering better error messages and some automatic program transformations This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1658250671 | | This package needs a description This package needs documentation This package needs tags This package needs license metadata | succeeds | 4 |
| -1705266501 | | This package needs a description This package needs tags | succeeds | 3 |
| -1728424409 | | A metalanguage for creating sophisticated DSLs This package needs tags | succeeds | 1 |