Home page of Joy. Also here
Another implementation
A page on Joy as a member of the concatenative family of languages
Cat: a programming language inspired by Joy but featuring a static type system with type inferencing
boykobbatgmaildotcom