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

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

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

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

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/