Pythological

All

4 repositories

unification
Public
Straightforward unification in Python that's extensible via generic functions.
python logic-programming unification
python logic-programming unification multiple-dispatch
Python
•
Other
•7•53•8•2•Updated Feb 25, 2026Feb 25, 2026
etuples
Public
Python S-expression emulation using tuple-like objects.
python s-expressions lisp-like
python s-expressions lisp-like
Python
•
Other
•7•25•4•0•Updated Oct 20, 2025Oct 20, 2025
kanren
Public
An extensible, lightweight relational/logic programming DSL written in pure Python
minikanren logic-programming symbolic-computation
minikanren logic-programming symbolic-computation clp relational-programming constraint-logic-programming
Python
•
Other
•22•242•20•4•Updated Aug 22, 2025Aug 22, 2025
python-cons
Public
An implementation of Lisp/Scheme-like cons in Python
python algebraic-data-types cons
python algebraic-data-types cons lisp-like scheme-like
Python
•
GNU Lesser General Public License v3.0
•4•12•1•1•Updated Jul 11, 2025Jul 11, 2025

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.