PyRank

Unification Python Packages

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

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

1.1M 53 7
jaysinailabs
coglang

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

315 1 0
symcollab
symcollab-moe

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

118 3 0
symcollab
symcollab-unification

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

75 3 0
symcollab
symcollab-rewrite

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

72 3 0
symcollab
symcollab

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

69 3 0
symcollab
symcollab-algebra

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

67 3 0
raven-os
raven-os-albinos

Raven-OS configuration unification service and library.

67 5 2
symcollab
symcollab-xor

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

65 3 0
symcollab
symcollab-theories

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

63 3 0
robjsliwa
pieprolog

Prolog implemented in Python

57 12 5