Spark
- SPARK, SPADE high-integrity software development products; annotated Ada subset supports developing software for uses where correct operation is vital for safety or business integrity; versions based on Ada 83/95. [Praxis Critical Systems Ltd.]
- http://www.praxis-his.com/sparkada/

SmallAda
- A compiler/interpreter for a part of the Ada language, namely the "Pascal subset" plus the Ada tasking support. It is not intended ever to be a full Ada compiler, rather a vehicle for teaching, learning, and experimenting with concurrent prog
- http://www.readyideas.com/ada/SMALLADA.ZIP

AdaCLIPS
- A small set of Ada (95) bindings to the CLIPS expert system shell.
- http://www.telepath.com/~dennison/Ted/AdaClips/AdaClips.html

Aonix ObjectAda Real Time Raven
- Small and very fast Ada 95 "bare-target".
- http://www.aonix.com/objectada_raven.html

Msdos Development
- Ada old files and subset.
- http://www.bookcase.com/library/software/msdos.devel.lang.ada.html

Essential Packages
- XGC Ada subset.
- http://xgc.com/ada/predefin.htm