  |
http://www.praxis-his.com/sparkada/ - http://www.praxis-his.com/sparkada/
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.] |
| |
Aonix ObjectAda Real Time Raven - http://www.aonix.com/objectada_raven.html
Small and very fast Ada 95 "bare-target". |
| |
Msdos Development - http://www.bookcase.com/library/software/msdos.devel.lang.ada.html
Ada old files and subset. |
 |
Essential Packages - http://xgc.com/ada/predefin.htm
XGC Ada subset. |
| |
AdaCLIPS - http://www.telepath.com/~dennison/Ted/AdaClips/AdaClips.html
A small set of Ada (95) bindings to the CLIPS expert system shell. |