Unification Python Packages | PyPI Stats

logical-unification

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

821K 53 7

coglang

Graph-first intermediate language for auditable LLM-generated graph queries and updates.

2K 1 0

symcollab-moe

Moved to https://github.com/CryptoSolvers/CryptoSolve

214 3 0

symcollab-algebra

Moved to https://github.com/CryptoSolvers/CryptoSolve

133 3 0

symcollab-theories

Moved to https://github.com/CryptoSolvers/CryptoSolve

126 3 0

symcollab-rewrite

Moved to https://github.com/CryptoSolvers/CryptoSolve

125 3 0

symcollab-xor

Moved to https://github.com/CryptoSolvers/CryptoSolve

125 3 0

symcollab-unification

Moved to https://github.com/CryptoSolvers/CryptoSolve

112 3 0

raven-os-albinos

Basic API to interact with albinos daemon

108 4 2

symcollab

No description available

104 3 0

pieprolog

Prolog implemented in Python

62 12 5