I wrote this geometry library based on the lectures on projective geometry

Thanks for sharing, probably should make this a Show HN though?