Comprehensive and flexible English-based translation tool for professionals.
It can download complete websites.
Polymath is a computational system that has been created for educational use.