P2Ada
is a Pascal to Ada translator.
Recognizes particularities of several Pascal dialects:
Turbo/Borland/Delphi (mostly), CodeWarrior, ISO, ISO Extended (a bit).
Complete sources. The translator is not perfect but improving...
Includes a full ayacc / aflex parser & lexer for Ada 95+ with sources.
Allows translation of Modula-2 to Ada 95 via Mod2Pas.
A few success stories:
UnZip (Pascal port) from Info-Zip, and a BZip2 decoder -
see the Zip-Ada project.
Numerical Recipes in Pascal
whose sources can be downloaded in the nrpas13.zip archive -
check here.
Selected ALGLIB mathematical functions -
see the MathPaqs project.