PyRank

Minikanren Python Packages

Python packages with the GitHub topic minikanren. Sorted by monthly downloads, with stars and forks.
pythological
minikanren

An extensible, lightweight relational/logic programming DSL written in pure Python

1.1M 251 22
hylang
hydiomatic

The Hy Transformer

85 88 4