Skip to content
@pythological

Pythological

Adding more symbolic computation and logic programming to Python

Pinned Loading

  1. kanren kanren Public

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

    Python 231 23

  2. unification unification Public

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

    Python 51 7

  3. etuples etuples Public

    Python S-expression emulation using tuple-like objects.

    Python 23 7

  4. python-cons python-cons Public

    An implementation of Lisp/Scheme-like cons in Python

    Python 9 4

Repositories

Showing 4 of 4 repositories
  • unification Public

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

    pythological/unification’s past year of commit activity
    Python 51 7 8 (4 issues need help) 2 Updated Oct 20, 2025
  • etuples Public

    Python S-expression emulation using tuple-like objects.

    pythological/etuples’s past year of commit activity
    Python 23 7 4 0 Updated Oct 20, 2025
  • kanren Public

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

    pythological/kanren’s past year of commit activity
    Python 231 23 20 (7 issues need help) 4 Updated Aug 22, 2025
  • python-cons Public

    An implementation of Lisp/Scheme-like cons in Python

    pythological/python-cons’s past year of commit activity
    Python 9 LGPL-3.0 4 1 1 Updated Jul 11, 2025

Top languages

Python