Cadova - https://github.com/tomasf/Cadova

SolveSpace - https://github.com/solvespace/solvespace