M2001 is a high-level programming language created in 2001 by Michael C. Pierce. It is designed to be easy to learn and use, and is based on the Pascal programming language. M2001 is a free and open-source language, and is available for Windows, Linux, and macOS.