Skip to content

Navigation Menu

Sign in
pythological

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@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 209 19

  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

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
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 50 7 7 (4 issues need help) 2 Updated Sep 3, 2024
  • etuples Public

    Python S-expression emulation using tuple-like objects.

    pythological/etuples’s past year of commit activity
    Python 22 7 4 0 Updated Sep 3, 2024
  • python-cons Public

    An implementation of Lisp/Scheme-like cons in Python

    pythological/python-cons’s past year of commit activity
    Python 8 LGPL-3.0 3 2 0 Updated Sep 3, 2024
  • kanren Public

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

    pythological/kanren’s past year of commit activity
    Python 209 19 19 (7 issues need help) 4 Updated Jan 30, 2023

Top languages

Loading…

Most used topics

Loading…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.