MSL (Mathematical Symbolic Language) es un lenguaje de programación de alto nivel desarrollado por el Symbolic Computation Group de la Universidad de Waterloo (Canadá). Se basa en el lenguaje de programación Lisp y fue diseñado para la computación simbólica, concretamente el álgebra computacional.
MSL posee una serie de características que lo hacen idóneo para el cálculo simbólico, como un potente sistema de sobrecarga de operadores, diferenciación automática y soporte para aritmética de precisión arbitraria. También incorpora una serie de funciones matemáticas y tipos de datos que facilitan la escritura de algoritmos y programas de cálculo matemático.
MSL se utiliza en varios proyectos de software comerciales y de código abierto, como el sistema de álgebra computacional Maxima, la biblioteca de cálculo simbólico SymPy y el sistema de software matemático Sage.