Home page of Joy and other writings of Manfred von Thun
Cat: a programming language inspired by Joy but featuring a static type system with type inferencing; formerly here
boykobbatgmaildotcom