Pinned Loading

1. kanren kanren Public

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

   Python 227 24

2. unification unification Public

   Straightforward unification in Python that's extensible via generic functions.

   Python 51 8

3. etuples etuples Public

   Python S-expression emulation using tuple-like objects.

   Python 23 8

4. python-cons python-cons Public

   An implementation of Lisp/Scheme-like cons in Python

   Python 8 5