More Resources Technology Links GDB for Ada Snapshot Ada Mode for Emacs An Emacs mode for editing Ada files SPARK Mode for Emacs An Emacs mode for editing SPARK files, based on the Ada mode Ada Courses Ada Course in French Software that Matters