M2001 es un lenguaje de programación de alto nivel creado en 2001 por Michael C. Pierce. Está diseñado para ser fácil de aprender y utilizar, y se basa en el lenguaje de programación Pascal. M2001 es un lenguaje libre y de código abierto, y está disponible para Windows, Linux y macOS.