Geogram: a programming library with geometric algorithmsgithub.com/BrunoLevy1 pointmathgenius4 years ago