The Astrophysics & Gravitation Group runs several Unix-based servers available for general use.
astro - a Sun running Solaris 8
champion - an Opteron-based server running Red Hat Enterprise 4
landru - a Compaq DS20E running Digital Unix 4.0E
In addition, there are a number of workstations (typically running Linux) in student and faculty offices.
For details, see the UW Astro Computing Guide.