Tools for the Ipe extensible drawing editor
