M2001 é uma linguagem de programação de alto nível criada em 2001 por Michael C. Pierce. Foi concebida para ser fácil de aprender e utilizar, e baseia-se na linguagem de programação Pascal. M2001 é uma linguagem livre e de código aberto, e está disponível para Windows, Linux, e macOS.