M2001 est un langage de programmation de haut niveau créé en 2001 par Michael C. Pierce. Il est conçu pour être facile à apprendre et à utiliser, et est basé sur le langage de programmation Pascal. M2001 est un langage gratuit et open-source, et est disponible pour Windows, Linux et macOS.