MSL (Mathematical Symbolic Language) is a high-level programming language developed by the Symbolic Computation Group at the University of Waterloo in Canada. It is based on the Lisp programming language and was designed for symbolic computation, specifically computer algebra.
MSL has a number of features that make it well-suited for symbolic computation, such as a powerful operator overloading system, automatic differentiation, and support for arbitrary-precision arithmetic. It also has a number of built-in mathematical functions and data types, making it easier to write algorithms and programs for mathematical computation.
MSL is used in a number of commercial and open-source software projects, such as the Maxima computer algebra system, the SymPy symbolic computation library, and the Sage mathematics software system.