Scientific Software
Updated 6 months ago

Metatheory.jl — Peer-reviewed • Rank 14.3 • Science 77%

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation - Published in JOSS (2021)