For people not familiar with it, Parasolid is the geometry engine that powers a bunch of prominent commercial CAD/CAD-adjacent tools. SolidWorks, Onshape, Ansys, Abaqus etc. It's kind of the benchmark to beat for open source competitors like SolveSpace, which I agree is a very exciting tool.