They are used to teach CSE 457 at the University of Washington.See here for more information: g5m.cs.washington.edu/