|
|
1. |
AdaCLIPS
-
A small set of Ada (95) bindings to the CLIPS expert system shell.
|
|
|
2. |
Aonix ObjectAda Real Time Raven
-
Small and very fast Ada 95 "bare-target".
|
|
|
3. |
Essential Packages
-
XGC Ada subset.
|
|
|
4. |
Msdos Development
-
Ada old files and subset.
|
|
|
5. |
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.]
|
|
|
6. |
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)
|
