PyRank

Unification Python Packages

Python packages with the GitHub topic unification. Sorted by relevance, with stars and monthly downloads.
pythological
logical-unification

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

1.2M 53 7
jaysinailabs
coglang

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

603 1 0
symcollab
symcollab-unification

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

197 3 0
symcollab
symcollab-moe

No description available

180 3 0
symcollab
symcollab-algebra

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

173 3 0
symcollab
symcollab-xor

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

150 3 0
symcollab
symcollab

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

145 3 0
symcollab
symcollab-rewrite

No description available

138 3 0
symcollab
symcollab-theories

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

138 3 0
raven-os
raven-os-albinos

Raven-OS configuration unification service and library.

114 4 2
robjsliwa
pieprolog

Prolog implemented in Python

91 12 5