Pinned Loading

1. kanren kanren Public

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

   Python 210 18

2. unification unification Public

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

   Python 50 7

3. etuples etuples Public

   Python S-expression emulation using tuple-like objects.

   Python 22 7

4. python-cons python-cons Public

   An implementation of Lisp/Scheme-like cons in Python

   Python 8 3