Most of the content of this website is now available on Github.

PragmAda Software Engineering provides the PragmAda Reusable Components (PragmARCs), open-source Ada components that are available here.

If you're looking for the Mine Detector game, you've found it!

Ada Tutor is archived here.

Papers by Jeffrey R. Carter are available on Github.


 


 


 
 
 


PragmAda Software Engineering

Ada King,
Countess Lovelace