John Halleck's Links Page

I guess we all have links that we find interesting. And it has become traditional to have a web page pointing to many interesting places.

Such pages are usually only poorly kept up, and may contain bad links.

If you find bad links here, please notify me of the ones you find.

The links on this page were last checked on May 24th, 2001. They were valid as of that date.

The links themselves

Interesting links about Web Pages

• WWW.W3.ORG's web page validator
• Web page handicap accessibility validator
• W3's documentation.
• W3's dead link checker
• The Web Design Group's style and accessibility guidelines
• Net mechanics Validators (Including one that checks for dead links.)
• Test Web Page Backwards Compatibility

Generally interesting links

• I find my own pages interesting.
• http://www.metamath.org While there are a lot of negative results saying what logic and mathematics can NOT do... Here is someone pushing what it CAN do a long ways. My vote for best "Simple concept, simple code, great results" project I've seen in many a year.
• Utah Logic Group
• Joseph Buchanan's Pages are well worth visiting.
• "Cool Robot of the Week" site.
• The Library of Congress
• Liz Gray's pointers to all things Braille
• Echo's Children musical group.
• Kalamata, Gateway to the Mani
• Mani

Generally bizarre links

• Daily Bethisms
• Division Free factoring of integers.

Mildly technical pages

• AltaVista's foreign language translation service.
• Stirling Cycle Engines

Links needing a higher "Geek" tolerance

• The EROS operating system [The Extremely Reliable Operating System]
• Thousands of Problems for Theorem Provers

Go to ...

• John Halleck's Home Page

This page is http://www.cc.utah.edu/~nahaj/links.html
© Copyright 2007 by John Halleck, All Rights Reserved.
This page was last modified on January 18th, 2007.