Railcraft USA Inc.
Aluminum glass and picket railings for decks, patios, stairs and balconies. Railcraft manufactures standard and custom aluminum powdercoated railings and windwalls. International Sales.
http://www.railcraftusa.com/

Rust Clean
RUST CLEAN is your safe solution for removing rust from iron and steel. Rust Clean is non-toxic and contains no acids or solvents.
http://www.rustclean.com

Fuerte Cases
Waterproof Protective Hard Cases. Rugged, Airtight, Rust Proof. Lifetime Guarantee, Made in USA
http://www.fuertecases.com/

Rust Fungi
A number of photographs of rust infections.
http://plantbio.berkeley.edu/~bruns/tour/fungi4.html

Puccinia graminis
Illustrated account of Puccinia graminis (Uredinales)
http://www-biol.paisley.ac.uk/bioref/Fungi_basidiomycetes/Puccinia_graminis.html

Orison Marketing Llc.
Orison offers green chemicals and environmental products such as Evapo-Rust rust remover, rust and corrosion inhibitors, deicers, bio based cleaners, odor neutralizers, paint removers and more.
http://www.orisonmarketing.com/

White Rust
Photograph of white rust (Albugo) infecting shepherd’s purse, with a photomicrograph showing the sporangiophore and sporangium.
http://www.uoguelph.ca/~gbarron/MISC2006/march200.htm

DC Proof Online
Download free proof writing software for high school, college and university-level mathetmatics
http://www.dcproof.com

The LEGO Proof Assistant
A powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects of interactive proofs.
http://www.dcs.ed.ac.uk/home/lego/

Logic of programming
The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy). Two realisations of this working programm are Linear Logic and Ludics.
http://iml.univ-mrs.fr/ldp/welcome.html