Axiom is a computer algebra system. It consists of an interpreter,
a compiler and a library of algorithms. Axiom is an excellent research
platform as well as a useful tool for scientific programming.
Small implementation of Push 3 programming language in Common Lisp. Push 3 is described here http://tinyurl.com/push30. Push is a programming language intended primarily for use in evolutionary computation systems.