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