The Pi Project offers tools and websites about mathematics. The first program is an irrational number search engine.