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.