MSL (Mathematical Symbolic Language) est un langage de programmation de haut niveau développé par le Symbolic Computation Group de l'Université de Waterloo au Canada. Il est basé sur le langage de programmation Lisp et a été conçu pour le calcul symbolique, en particulier l'algèbre informatique.
MSL possède un certain nombre de caractéristiques qui le rendent bien adapté au calcul symbolique, comme un puissant système de surcharge d'opérateurs, la différenciation automatique et le support de l'arithmétique de précision arbitraire. Il possède également un certain nombre de fonctions mathématiques et de types de données intégrés, ce qui facilite l'écriture d'algorithmes et de programmes de calcul mathématique.
MSL est utilisé dans un certain nombre de projets logiciels commerciaux et open-source, tels que le système de calcul formel Maxima, la bibliothèque de calcul symbolique SymPy et le système de logiciels mathématiques Sage.