InqScribe sports a deceptively simple interface...
The National Library of Virtual Manipulatives (NLVM) is an NSF supported project
A Hoecker-Plot is a fast graphical evaluation for digital proofs.