MetaPost + ConTeXt rendition of Oliver Byrne's "The first six books of t...
The modular galaxy image simulation toolkit. Documentation:
A formalization of geometry in Coq based on Tarski's axiom system
基于 GeoGebra 的尺规作图闯关游戏
Vector math, geometry, reference frame, and shapes 2D & 3D