Tools to use with the Ipe drawing editor (ipe7.sf.net)