2 Repositories
Rust equality-saturation Libraries
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
24 Aug 15, 2022
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting
Glenside is a pure, low-level tensor program representation which enables tensor program optimization via program rewriting, using rewriting frameworks such as the egg equality saturation library.
45 Dec 28, 2022