An amateur geometry library