GitHub repository: uwplse/szalinski
Primary language: OpenSCAD
Description: Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations