| M | 2008 | — | — | — |
| M language | — | — | — | — |
| M4 | 1977 | — | — | — |
| Maclisp | — | — | dynamic typing | 5 |
| MAD | 1959 | procedural programming, imperative programming | — | — |
| Magik | 1989 | object-oriented programming | dynamic typing | — |
| MAGMA-Lisp | 1973 | — | — | — |
| Make | 1976 | macro | — | — |
| Malbolge | 1998 | esoteric programming | — | — |
| MapBasic | — | — | — | — |
| Mapbox Style Specification | — | declarative programming | — | — |
| Maple | 1982 | procedural programming, functional programming, object-oriented programming | — | 1 |
| MapLibre Style Specification | — | declarative programming | — | — |
| MAPPER | 1968 | — | — | — |
| Mary | 1971 | imperative programming | static typing, strong typing | — |
| MATH-MATIC | 1957 | imperative programming | — | 1 |
| Mathcad | 1986 | — | — | — |
| Mathematica | 1988 | functional programming, array programming | — | — |
| MATLAB | 1984 | — | — | 3 |
| MATLAB | 1970 | procedural programming, functional programming, imperative programming, array programming, object-oriented programming | dynamic typing, weak typing | 1 |
| Maude system | — | reflective programming, logic programming, metaprogramming | — | — |
| Max (programming language) | — | declarative programming, visual programming language | — | — |
| Maya Embedded Language | 1998 | — | — | — |
| MC# | 2003 | — | — | — |
| MDL | — | — | — | — |
| MDL | 1971 | reflective programming, procedural programming, functional programming, metaprogramming | dynamic typing, strong typing | 1 |
| Mercury | 1995 | functional programming, logic programming, purely functional programming, multi-paradigm programming, object-oriented programming | static typing, parametric polymorphism, uniqueness typing, strong typing | — |
| Mesa | 1976 | procedural programming | static typing, strong typing | 2 |
| Metafont | 1979 | declarative programming | — | 1 |
| Metamath | — | — | — | — |
| MetaPost | 1994 | imperative programming, declarative programming | dynamic typing, duck typing, strong typing | 1 |
| MetaQuotes Language | 2005 | object-oriented programming | — | — |
| Mewar Programming Language | 2025 | imperative programming | — | — |
| MexScript | 1997 | domain-specific language | dynamic typing | — |
| Micro Lua DS | 2008 | — | — | — |
| Microalg | 2014 | — | — | — |
| MicroBlocks | — | live coding | — | — |
| Microsoft BASIC | 1975 | — | — | — |
| Microsoft C | 1983 | structured programming, declarative programming, object-oriented programming | — | — |
| Microsoft Excel Macro, version 4 | — | — | — | — |
| Microsoft Macro Assembler | 1981 | — | — | — |
| Microsoft Pascal | — | — | — | — |
| Microsoft Small Basic | 2008 | structured programming | dynamic typing, weak typing | — |
| MIIS | 1971 | — | dynamic typing | — |
| Milk | — | — | — | — |
| MIMIC | 1964 | object-oriented programming | — | — |
| MiniZinc | 2009 | constraint programming | strong typing | — |
| Mirah | 2008 | imperative programming, object-oriented programming | dynamic typing, static typing, inference typing, strong typing | — |
| Miranda | 1985 | purely functional programming, declarative programming | static typing, strong typing | 3 |
| MIRC scripting language | 1995 | event-driven programming, procedural programming | dynamic typing | — |
| Misty | — | dynamic typing, actor model | — | — |
| MIT/GNU Scheme | — | — | dynamic typing, latent typing, strong typing | — |
| MIVA Script | 1996 | imperative programming | dynamic typing | — |
| Mizar | 1973 | declarative programming | weak typing | — |
| ML | 1973 | procedural programming, functional programming, imperative programming | static typing, inference typing, strong typing | 18 |
| MLAB | — | multi-paradigm programming | dynamic typing, weak typing | — |
| MLisp | — | — | — | 1 |
| Modelica | 1997 | declarative programming, object-oriented programming | — | — |
| Modula | 1975 | procedural programming, imperative programming, modular programming | static typing, safe typing, strong typing | 4 |
| Modula-2 | 1978 | concurrent computing, structured programming, imperative programming, modular programming | static typing, safe typing, strong typing | 9 |
| Modula-2+ | 1984 | concurrent computing, imperative programming, modular programming | strong typing | — |
| Modula-3 | 1989 | imperative programming, object-oriented programming | — | 3 |
| Mojo | 2023 | generic programming, functional programming, imperative programming | — | — |
| Mondrian | 1997 | — | — | — |
| Monkey X | 2011 | object-oriented programming | — | — |
| MoonScript | — | — | — | — |
| Motoko | 2019 | — | — | — |
| Move | 2019 | — | static typing | — |
| MS BASIC for Macintosh | — | — | — | — |
| MSX BASIC | 1983 | imperative programming | — | — |
| MUMPS | 1966 | procedural programming, imperative programming | typeless | 3 |
| MXML | 2004 | — | — | — |