GitHub repository: szaliszali/sphere
Description: interactive environment for spherical geometry