Unification Python Packages

logical-unification

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

890K 53 7

coglang

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

3K 1 0

symcollab-moe

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

183 3 0

symcollab-unification

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

104 3 0

raven-os-albinos

Basic API to interact with albinos daemon

103 4 2

symcollab-xor

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

102 3 0

symcollab-algebra

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

98 3 0

symcollab-theories

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

97 3 0

symcollab-rewrite

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

95 3 0

symcollab

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

93 3 0

pieprolog

Prolog implemented in Python

66 12 5