Sphaerica
Interactive spherical geometry 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.