MSL (Mathematical Symbolic Language) é uma linguagem de programação de alto nível desenvolvida pelo Symbolic Computation Group da Universidade de Waterloo, no Canadá. Baseia-se na linguagem de programação Lisp e foi concebida para computação simbólica, especificamente álgebra computacional.
A MSL tem uma série de características que a tornam adequada para o cálculo simbólico, tais como um poderoso sistema de sobrecarga do operador, diferenciação automática, e suporte para aritmética de precisão arbitrária. Tem também uma série de funções matemáticas e tipos de dados incorporados, facilitando a escrita de algoritmos e programas para cálculo matemático.
MSL é utilizado em vários projectos de software comercial e de código aberto, tais como o sistema de álgebra informática Maxima, a biblioteca de computação simbólica SymPy, e o sistema de software de matemática Sage.