The Axiom Library contains over 1,000 strongly-typed mathematical domains and categories. It is written in Spad. The source code for the library is here:

http://wiki.axiom-developer.org/axiom--test--1/src/algebra

These Pamphlet Files are part of the standard Axiom distribution.

See also Axiom Algebra.