| Coral 66 | 1964 | procedural programming, structured programming, imperative programming | static typing, strong typing | — |
| CorVision | 1986 | — | — | — |
| COWSEL | 1964 | — | — | — |
| CPC Coding scheme | 1948 | — | — | 2 |
| CPL | 1963 | procedural programming, functional programming, structured programming, imperative programming, multi-paradigm programming | — | 3 |
| Croc | 2006 | — | — | — |
| Cryptol | — | — | — | — |
| Crystal | 2014 | concurrent computing, multi-paradigm programming, object-oriented programming | static typing, nominative typing, duck typing, inference typing | — |
| CS-4 | 1973 | procedural programming | — | — |
| Csound | 1986 | — | — | — |
| Cub | — | — | dynamic typing | — |
| Cuneiform | 2013 | functional programming | static typing | — |
| Curl | 1998 | reflective programming, functional programming, multi-paradigm programming, declarative programming, object-oriented programming | strong typing | — |
| Curry | 1995 | functional programming, logic programming, constraint programming | static typing, inference typing, strong typing | — |
| Curry notation system | 1948 | — | — | — |
| CWEB | — | literate programming | manifest typing, nominative typing | — |
| Cyclone | 2002 | — | static typing, safe typing, strong typing | 1 |
| Cypher Query Language | — | — | — | — |
| Cython | 2007 | — | — | — |
| Céu | — | event-driven programming, synchronous programming, reactive programming, structured concurrency | — | — |
| Cω | 2005 | multi-paradigm programming | strong typing | 1 |
| 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 | — | — | — | — |
| E | 1997 | object-oriented programming | dynamic typing, strong typing | — |
| Ease | 1991 | concurrent computing, parallel programming | strong typing | — |
| Easy Programming Language | 2004 | procedural programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming | — | — |
| EasyLanguage | — | — | — | — |
| EC | 2004 | generic programming, procedural programming, imperative programming, multi-paradigm programming, object-oriented programming | static typing, nominative typing, partial inference typing | — |
| ECL | 2000 | declarative programming | — | — |
| ECLiPSe | 1992 | constraint programming | — | — |
| EdgeQL | — | declarative programming | — | — |
| Edinburgh IMP | 1966 | procedural programming, structured programming, imperative programming | static typing, strong typing | — |
| Eiffel | 1986 | generic programming, concurrent computing, multi-paradigm programming, class-based programming, object-oriented programming | static typing | 7 |
| El-76 | 1972 | — | — | — |
| ELAN | 1974 | — | — | — |
| Elixir | 2011 | concurrent computing, functional programming, process-oriented programming | dynamic typing, duck typing, strong typing | 1 |
| Elm | 2012 | functional programming, purely functional programming, reactive programming, functional reactive programming | static typing, inference typing, strong typing | 2 |
| Elvish | — | — | — | — |
| Emacs Lisp | 1985 | reflective programming, functional programming, metaprogramming | dynamic typing, strong typing | — |
| Embedded Visual Basic | — | event-driven programming, procedural programming, object-oriented programming | — | — |
| Emerald | 1980 | object-oriented programming | static typing, strong typing | — |
| Emmental | 2007 | esoteric programming | — | — |
| ENIAC coding system | 1943 | — | — | 3 |
| ENIAC Short Code | 1946 | — | — | 1 |
| Envelop | — | — | — | — |
| Epigram | 2004 | functional programming | static typing, dependent typing, strong typing | 2 |
| Epson Standard Code for Printers | — | — | — | — |
| Erlang | 1986 | concurrent computing, functional programming, multi-paradigm programming, declarative programming | dynamic typing, strong typing | 8 |
| ESC/POS | — | — | — | — |
| Escher | 1990 | functional programming, logic programming, declarative programming | manifest typing, static typing | — |
| Esterel | 1980 | concurrent computing, imperative programming | — | — |
| Etoys | 1996 | prototype-based programming, object-oriented programming | dynamic typing | 1 |
| Euclid | 1977 | procedural programming, functional programming, structured programming, imperative programming | static typing, strong typing | 2 |