Mantis
Mantis for CDC
Mantis for Dave2D
Mantis for Dave3D