| DBYTE | imperative programming, structured programming | — | — |
| DIBOL | imperative programming, procedural programming, structured programming | 1970 | Digital Equipment Corporation |
| Draco | imperative programming, procedural programming, structured programming | — | — |
| EC | generic programming, procedural programming, imperative programming, multi-paradigm programming, object-oriented programming | 2004 | — |
| Edinburgh IMP | procedural programming, structured programming, imperative programming | 1966 | — |
| Eiffel | class-based programming, multi-paradigm programming, concurrent computing, generic programming, object-oriented programming | 1986 | Bertrand Meyer |
| Elm | functional reactive programming, reactive programming, functional programming, purely functional programming | 2012 | — |
| Emerald | object-oriented programming | — | — |
| Epigram | functional programming | 2004 | — |
| Escher | logic programming, declarative programming, functional programming | — | — |
| Euclid | procedural programming, functional programming, structured programming, imperative programming | 1977 | Ric Holt |
| Euphoria | imperative programming, procedural programming | 1993 | — |
| Executive Systems Problem Oriented Language | procedural programming, structured programming, imperative programming | 1966 | Burroughs Corporation |
| F | modular programming, array programming, procedural programming | — | — |
| F# | object-oriented programming, metaprogramming, imperative programming, functional programming, concurrent computing, reflective programming | 2005 | F Sharp Software Foundation, Microsoft |
| F* | functional programming, imperative programming | — | Microsoft Research, Institut National de Recherche en Informatique et en Automatique |
| Fantom | multi-paradigm programming, object-oriented programming | 2005 | — |
| Flix | imperative programming, logic programming, functional programming | 2016 | — |
| Fortran | procedural programming, generic programming, object-oriented programming, array programming, imperative programming, structured programming | 1957 | IBM, John Backus |
| Fortress | — | 2006 | — |
| FreeBASIC | procedural programming, object-oriented programming | 2004 | — |
| Futhark | purely functional programming, array programming | 2014 | — |
| Genie | object-oriented programming, structured programming, imperative programming | 2008 | — |
| Gleam | concurrent computing, functional programming, multi-paradigm programming | 2016 | — |
| Go | structured programming, procedural programming, functional programming, concurrent computing, object-oriented programming, imperative programming | 2009 | Google, The Go Authors, Rob Pike, Robert Griesemer, Ken Thompson |
| Gosu | object-oriented programming | 2002 | — |
| Hack | — | 2014 | Meta Platforms |
| Halide | functional programming, parallel programming | 2012 | Massachusetts Institute of Technology |
| Hare | — | — | Drew DeVault |
| Haskell | functional programming, purely functional programming, non-strict programming | 1990 | Paul Hudak, Philip Wadler, Erik Meijer, John Hughes, Lennart Augustsson, Simon Peyton Jones |
| Haxe | object-oriented programming, multi-paradigm programming, functional programming, generic programming | 2005 | Simon Krajewski, Cauê Waneck, Haxe Foudation, Nicolas Cannasse |
| Hope | functional programming | — | University of Edinburgh |
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |
| Jai | procedural programming | — | — |
| Java | object-oriented programming, generic programming, component-based software engineering, concurrent object-oriented programming, class-based programming, imperative programming, structured programming, functional programming, reflective programming | 1995 | Sun Microsystems, Oracle Corporation, James Gosling |
| JavaFX Script | scripting language, declarative programming | 2008 | Sun Microsystems |
| JOVIAL | imperative programming, structured programming, procedural programming | 1960 | — |
| JS++ | generic programming, functional programming, structured programming, imperative programming, object-oriented programming | 2011 | — |
| Kotlin | concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming, generic programming, reflective programming | 2011 | JetBrains |
| LPC | object-oriented programming, procedural programming, prototype-based programming, functional programming | 1989 | Lars Pensjö |
| Mary | imperative programming | 1971 | SINTEF |
| Mercury | object-oriented programming, multi-paradigm programming, purely functional programming, logic programming, functional programming | 1995 | University of Melbourne |
| Mesa | procedural programming | 1976 | Palo Alto Research Center |
| Mirah | object-oriented programming, imperative programming | 2008 | — |
| Miranda | declarative programming, purely functional programming | 1985 | — |
| ML | functional programming, imperative programming, procedural programming | 1973 | Robin Milner |
| Modula | procedural programming, imperative programming, modular programming | 1975 | Niklaus Wirth |
| Modula-2 | modular programming, imperative programming, structured programming, concurrent computing | 1978 | Niklaus Wirth |