GeezerVison

Pinned Loading

1. kanren kanren Public

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

   Python 253 22

2. unification unification Public

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

   Python 53 7

3. etuples etuples Public

   Python S-expression emulation using tuple-like objects.

   Python 25 7

4. python-cons python-cons Public

   An implementation of Lisp/Scheme-like cons in Python

   Python 12 3