PLaSM

functional language for computing with geometry

checkpat

checkpat
PLaSM is Free Software and may be distributed under GNU GPL