Pinned

1. kanren kanren Public

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

   Python 157 17

2. unification unification Public

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

   Python 37 6

3. etuples etuples Public

   Python S-expression emulation using tuple-like objects.

   Python 18 5

4. python-cons python-cons Public

   An implementation of Lisp/Scheme-like cons in Python

   Python 7 3