From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
Garbage collected: Yes
Type strength: Strong
Type checking: Static
See Also:
Listed below are all of the tasks on Rosetta Code which have been solved using Axiom.
Axiom is an implementation of Axiom. Other implementations of Axiom.

Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.