Start Page

Useful Places	Stanford Encyclopedia	Philosophy Links	Administration
NSF, NEH, DigLib	Ontologies and Theorem Proving	Music	Institutions
General Computer Reference	MacOS X 10.x	People	Backpacking

Purchase Stanford Parking Permit
Stanford Health Check Tool
Air Quality - Monta Loma (purpleair.com) (cf. AirNow.gov)
Air Quality - CSLI (purple.com)
Mountain View Recycling Schedule (Enter Address at Bottom)
CalTrain Weekday Timetable
CalTrain Weekend Timetable
Marguerite Map
Weekdays Marguerite Line X Schedule (from Train Station to CSLI)
Weekdays Marguerite Line Y Schedule (from CSLI to Train Station)
Weekdays Marguerite Line MC Schedule (from Train Station to and around Medical Center)
Daily Marguerite Line SE Schedule (from Train Station to CSLI)
Nightly Marguerite Line N Schedule (from Train Station to CSLI)
Nightly Marguerite Line O Schedule (from Train Station to CSLI)
Calendar: San Francisco Classical Voice
Stanford Music Events Calendar
Logic Supergroup

Useful Places to Search

Google | Google Scholar | Google Maps | Clusty | Duck Duck Go |
Google News | Yahoo News | Google Zeitgeist | Google News Alerts
The Stanford University Libraries Start Page
Search Stanford University Libraries
Advanced Search Stanford University Libraries
E-Journal Access at Stanford
Lean Library Download (install and configure for "Stanford University")
EZ Proxy (link with prefix to go through Stanford proxy https://stanford.idm.oclc.org/login?url=)
The Philosopher's Index
JSTOR Browse by Discipline: Philosophy
Search Encyclopedia Britannica
Universities Worldwide
Critical Editions (Past Masters)
CiteSeer
Math World
Planet Math
Stanford You | Stanford Who | My Library | Interlibrary Loan | Stanford What

Stanford Encyclopedia

Editorial Information
CVS Repository
Friends of the SEP Society
SEP RSS Feed
SEP Facebook page
SEPIA (Indiana University Libraries)
SEPIA Registration Page (Philosophy Documentation Center)
Encyclopedia Archives
Bibliography Style:
- Writing A Bibliography: APA Format (Science Buddies)
- APA Citation Style (Cornell University Library)
Symbols:
Plagiarism and Copyright Links (at www.transcendentalism.org)
SEP Sample Entry

Philosophy Links

Administration

Unix/Server Administrative Software

W3C, HTML, XML, MathML, TEI, and Unicode

HTML vs XHTML
W3C Organization
W3C HTML Homepage
W3C HTML Validation Service
W3C HTML Diff Service
W3C CSS Validation Service
W3C Link Checker Service
W3 Schools Tutorials (XML, XSL, XSLT, etc.)
XHTML 1.0
XHTML 2.0 Reference Specification
The W3C HTML 4.01 Reference Specification
The W3C HTML 3.2 Reference Specification
HTML 4.0 Character Entity References
UTF-8
Unicode Browser Display
Unicode Home Page
- Unicode Code Charts (Complete List)
- Unicode Chart on Combining Diacritical Marks
- Unicode Fonts for Mac OS X computers
- Unicode Fonts for Windows Computers
Creating Web Sites with Mac OS X (MacZealots)
CSS Tutorial (WestCiv.com)
Creating Universally Compliant HTML (The Web Design Group)
WebMonkey's HTML Basics
LaTeX to HTML:
- HeVeA translator: LaTeX -> HTML
- LaTeX2HTML
- vulcanize
- hyperlatex
W3C Math: MathML puts math on the Web
Math Markup Language (Chapter 6)
Amaya Overview (Amaya for Mac OS X)
Text markup and the cost of access (Jon Bosak, Nature, August 2001)
The Semantic Web (T. Berners-Lee, Scientific American, May 2001)
XML.com: Electronic Publishing with XML [June 27, 2001]
TEI Pizza Chef
Electronic Reference Formats (American Psychological Association)
The Web Robots Pages
Web Server Administrator's Guide to the Robots Exclusion Protocol
Editize (Rich-text editor that replaces the TextArea input box in any Content Management System -- a client-side Java applet)
XTHML Rich Text Authoring: EditLive! for Java: Online HTML Editor SDK

Web Content Management Software

Web Publishing and Projects

NSF, NEH, and DigLib

NSF

NSF Grant Proposal Guide
NSF Fastlane
Login to Proposal Preparation
Specific RFPs and Divisions
- NSF: Directorate for Computer and Information Science and Engineering (CISE)
- Information & Intelligent Systems (IIS)
NSF DLI2 Funded Projects

NEH

Digital Libraries

Ontologies and Theorem Proving

Jesse Alama's AR pages: Git Hub, Git Hub Development, Git Hub tipi
Geoff Sutcliffe's online service
E-prover system
Systems implementing mathematical reasoning of some kind
System on TPTP
Automated Reasoning at Argonne
Protege
TPS Theorem Proving System
Isabelle
PolyML Download Page
Logical Frameworks page (Frank Pfenning) (List of Logical Frameworks and Links)
SRI's Artifactory Research Resources (links XML, RDF, DAML+OIL, Ontolingua, Semantic Web, etc.)
DAML+OIL (March 2001) reference description
DAML.org
DAML+OIL Axioms
The Coq Proof Assistant
The Caml Language

Music

IMSLP pages
Stanford Music Library Start page
Naxos Music Library
Classical Music Library
Scores of Brahms' Piano Works
Classic Scores
Mutopia
ScoreOnLine.com (Download Sheet Music Free)
EveryNote.com (Download Sheet Music Inexpensively)
Sheet Music Archive (used to be free, no longer)
Music Stack, Vinyl Records, Rare LPs, etc.

Institutions

New York Times
San Jose Mercury News e-Edition
Netspeed at Stanford
Speed Of Me
AT&T SpeedTest site
Business Class Comcast Bandwidth Speed Test
Speakeasy Bandwidth/Speed Test
Visualware MyCoolTools (connection quality/consistency)
Speedtest.net
US Postal Service/Postage Calculator
Library of Congress
Travel at Yahoo
Travelocity.com
Flight Arrivals .Com (Get flight status)
History of Mathematics Archive (MacTutor)
Christ in the Desert (Illumintated Web Manuscripts)

General Computer Reference

Stanford Computing Help

Unix, X

Emacs

Carbon Emacs Package (Tiger build) (Useful Wiki for Carbon Emacs Package)
Emacs.app
Emacs Users Manual (gnu.org)
XEmacs 21.5.9 for Mac OS X (in beta version as of Feb 2003)

TeX

Perl

CPAN (Comprehensive Perl Archive Network)

Purchasing Hardware/Software Online

FAQs

MacOS X 10.x

Apple Sources	Leopard	News and Information	Admin, Tips, and Useful Software	Tiger
Named Applications	Stanford Mac Sources	Darwin, X, and Fink	Miscellaneous Sources
NeXT, OPENSTEP, etc.

Apple Sources

Apple Computer
Apple Store
Apple Store at Stanford (for personal purchase)
Apple Store at Stanford (for institutional purchase)
Macintosh Featured Software Downloads
Macintosh Products Guide
Apple Developer MacOS X Page
MacOS X Page
MacOS X Server Page
Apple Discussions List
RSS Feeds to Apple Mailing Lists
Search AppleCare Support
Apple Product Manuals
File Bug Report

Leopard

News and Information

Ars Technica Apple
Mac Issues (How to use, troubleshoot, and repair your Mac)
Ars Technica's Mac.Ars Discussion Group
Slashdot (Apple) (Tiger hints) (Networking Hints)
Macintosh Software Updates - VersionTracker.com
MacRumors Buyer's Guide
Mac DevCenter (O'Reilly Network)

Admin, Tips, and Useful Software

Admin
- PB Fixit Guide (repair your laptop)
- OmniGroup Admin Mailing List
- Mike Bombich's Mac OS X Management Software and Tips (Make a Bootable Backup of Mac OS X: Cloning Mac OS X Disks)
Tips
Software
- Mike Bombich's Utility Software for Mac OS X
- Huge List of Native OS X Applications (maintained by "Jeff")
- FreeWare Gems for OSX (Mac Dev Center)
- Omni Development, Inc.
- The Gnu Mac OS X Public Archive

Tiger

Ars Technica (Under the Hood of Mac OS X 10.4 Tiger)
Spotlight Tips (Apple)
Spotlight Plugins
Dashboard Widgets
Automator Actions

Named Applications

Installed Software
- hfstar (An HFS+ aware version of gnutar)
- Share My Desktop
- Apple's Keynote Page
- KeynoteUser.com
- GarageBand Tips at Apple, Manuals, List of matches to GarageBand search at Apple Mac Dev Center Garage Band
- Garage Band users website
- MacBand.com (repository of songs and loops made by GarageBand users)
- MacJams.com (Undocumented Garage Band features)
- iCal Calendar Library
- TeXShop for Mac OS X
- XeTeX
- RBrowser (Download and Manual)
- Stone Design (PStill, Create, etc.)
- WordNet
- Carbon Copy Cloner (Mike Bombich)
- Little Snitch
- TeX i-Installer Home Page
- Speed Download (Help Pages)
- SubEthaEdit (Group Editing Software by The Coding Monkeys)
- Meteorologist
- MenuMeter
Potentially Useful Applications
- WireTap Studio (record anything playing on your computer)
- zsDuplicateHunter (Find duplicated files on your drive)
- Chicken of the VNC
- SpamSieve Plug in for Mail.app to block spam
- Unsanity software
- iChalk (collaborative drawing)
- Delicious Monster (music and book library cataloguing software)
- Keyboard Maestro (from Stairways Software)
- iGlasses (add brightness/control iSight camera)
- CSSEdit (Macrabbit Software)
- Coriolis's iPartition (repartition on the fly)
- Desktop Manager (virtual desktop application)
- Volume Works (from SubRosaSoft), non-destructively change partition sizes
- LaunchBar
- Xtar (gnutar for HFS+) (Helios)
- File Buddy
- Meta Object (PdfCompress, PostView (view PDF, PS), TextLightning (PDF->RTF))
- Link Checker (from dotsw.com)
- iChatStatus (at Infinity to the Power of Infinity)
- Konfabultor (Widgets for Mac OS X 10.x)
- DTV: Internet TV

Stanford Mac Sources

Darwin, X, Fink

Darwin
- Apple/Open Source
- Darwin Ports
- The GNU-Darwin Distribution
- Porting Unix Command Line Tools to Mac OS X (Technical Note TN2071)
X11
- Tenon Intersystems (iTools and XTools)
Fink
- Fink (at The Source Forge)

Miscellaneous Sources

The Source Forge
Vicomsoft software
Path Finder (An Enhanced Finder) by CocoaTech
The Challenges of Integrating the Unix and Mac OS Environments (Wilfredo "Fred" Sanchez, MIT/Apple)
OS X Swapfiles and /etc/fstab (from YouMac.com, June 16, 2001)
MacWrite page: The Mac OS X Shell
MacEdition: Aquascaping: Life with OS X (July 27, 2001)
bresink.com: TinkerTool

NeXT, OPENSTEP, Mac OS X Server 1.x

People

Backpacking web sites

California Topo Map
BackpackingLight.com
Sierra Backpacker (Sierra Passes)
Topographic Maps for the Mac
Mammoth Lakes Visitor Center
Inyo National Forest website
- How to Get a Wilderness Permit
- Wilderness Permits Trailhead Quotas (Wilderness Permit Phone Line: 760-873-2483, dial "0")
- Actual availability
Sierra National Forest website (West Side of the Sierra) (Wildeness Quotas/Trailheads)
Sequoia National Forest website
National Forests in California website