MSL (Mathematical Symbolic Language) ist eine Programmiersprache auf hohem Niveau, die von der Symbolic Computation Group an der Universität Waterloo in Kanada entwickelt wurde. Sie basiert auf der Programmiersprache Lisp und wurde für symbolische Berechnungen, insbesondere Computeralgebra, entwickelt.
MSL verfügt über eine Reihe von Merkmalen, die sie für symbolische Berechnungen gut geeignet machen, wie z. B. ein leistungsfähiges System zur Überladung von Operatoren, automatische Differenzierung und Unterstützung für Arithmetik mit beliebiger Genauigkeit. MSL verfügt außerdem über eine Reihe von eingebauten mathematischen Funktionen und Datentypen, die das Schreiben von Algorithmen und Programmen für mathematische Berechnungen erleichtern.
MSL wird in einer Reihe von kommerziellen und Open-Source-Softwareprojekten verwendet, z. B. im Computeralgebrasystem Maxima, in der Bibliothek für symbolische Berechnungen SymPy und im Mathematiksoftwaresystem Sage.