Sphaerica
Interactive spherical geometry software.
Sphaerica is an interactive spherical geometry computer software. You can create complex geometric constructions in spherical geometry with this software. It supports orthogonal, stereographic and gnomonic projections to display your construction. It also has a built in scripting language for automated constructions.