Pure is a modern-style functional programming language based on term rewriting, slated to become the much improved successor of the author's Q language. NOTE: This project has moved to Github, see https://agraef.github.io/pure-lang/.
Clojure is a dynamic programming language for the JVM. Note - current Clojure development has moved to Google code: http://code.google.com/p/clojure/ Project web site: http://clojure.org