AdaPower
Ada Tools and Resources

http://cs-www.cs.yale.edu/homes/tap/ada-lovelace.html