PyRank

Equality Saturation Python Packages

Python packages with the GitHub topic equality-saturation. Sorted by monthly downloads, with stars and forks.
fritzo
pomagma

Inference engine for extensional untyped λ-calculus

100 2 0
elianalfonsolopezpreciado
logic-loom

a compiler that understands mathematics

66 2 0