Machines

These are some of the machines (computing clusters) we are using (or have used in the past):