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.]
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 programming. The compiler is quite fast, producing P-code which is then interpreted by the interpreter. (ZIP)
Msdos Development
Ada old files and subset.
Essential Packages
XGC Ada subset.
Aonix ObjectAda Real Time Raven
Small and very fast Ada 95 "bare-target".
AdaCLIPS
A small set of Ada (95) bindings to the CLIPS expert system shell.
[ 1 ]
|
