| D | 2001 | functional programming, imperative programming, object-oriented programming | static typing, inference typing, strong typing | 5 |
| DADiSP | — | multi-paradigm programming | dynamic typing, weak typing | — |
| Dafny | 2009 | design by contract, functional programming, imperative programming | — | 1 |
| Dark | — | — | — | — |
| DarkBASIC | 2000 | — | — | — |
| Dart | 2011 | reflective programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming | static typing, inference typing, strong typing | 1 |
| Dartmouth BASIC | — | imperative programming | — | 2 |
| Darwin | 1991 | structured programming, imperative programming, object-oriented programming | dynamic typing, strong typing | — |
| Data Language Interface | 1966 | — | — | — |
| DataFlex | 1982 | structured programming, imperative programming, object-oriented programming | — | — |
| Datalog | 1986 | logic programming, declarative programming | weak typing | 2 |
| DATATRIEVE | — | — | — | — |
| DBYTE | — | structured programming, imperative programming | static typing | — |
| Deadfish | 2014 | esoteric programming | — | — |
| Delegua | 2022 | — | — | — |
| Delphi | 1995 | object-oriented programming | strong typing | 1 |
| Design By Numbers | 1999 | object-oriented programming | strong typing | 1 |
| Dhall | — | — | — | — |
| DIBOL | 1970 | procedural programming, structured programming, imperative programming | static typing | — |
| DIGITAL Command Language | — | imperative programming | — | 1 |
| Discipulus | 2012 | — | — | — |
| DIV Games Studio | 1998 | — | — | — |
| DJPROCODE | 2026 | — | — | — |
| Dolittle | — | multi-paradigm programming | — | — |
| Draco | — | procedural programming, structured programming, imperative programming | manifest typing, static typing, strong typing | — |
| Dragon | 2018 | procedural programming, imperative programming, object-oriented programming, dynamic programming | dynamic typing | — |
| DUP programming language | — | functional programming | — | — |
| Dylan | 1992 | functional programming, multi-paradigm programming, object-oriented programming | dynamic typing, strong typing | 3 |
| Dzaima APL | — | — | — | — |