| ACL2 | functional programming | 1990 | Matt Kaufmann |
| ADMB | — | — | — |
| Agda | purely functional programming | 2007 | Chalmers University of Technology |
| AMOS | procedural programming, imperative programming | 1990 | François Lionet |
| A♯ | functional programming | 1971 | IBM Thomas J. Watson Research Center |
| BitC | procedural programming | — | Johns Hopkins University |
| Boo | object-oriented programming | 2003 | Rodrigo B. De Oliveira |
| Dart | object-oriented programming, multi-paradigm programming, imperative programming, functional programming, reflective programming | 2011 | Google |
| EC | generic programming, procedural programming, imperative programming, multi-paradigm programming, object-oriented programming | 2004 | — |
| Elm | functional reactive programming, reactive programming, functional programming, purely functional programming | 2012 | — |
| Euphoria | imperative programming, procedural programming | 1993 | — |
| Factor | functional programming, stack-oriented programming, multi-paradigm programming, concatenative programming | 2003 | Slava Pestov |
| Fortress | — | 2006 | — |
| FriCAS | — | — | — |
| 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 |
| Graphics Layout Engine | — | — | — |
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |
| Jasmin | object-oriented programming | — | — |
| JS++ | generic programming, functional programming, structured programming, imperative programming, object-oriented programming | 2011 | — |
| NesC | — | — | — |
| Oberon | procedural programming, structured programming, imperative programming, modular programming, object-oriented programming | 1987 | Niklaus Wirth |
| Ooc | — | — | — |
| Orc | concurrent computing | 2004 | Jayadev Misra, David Kitchin, William Cook |
| Pixilang | — | 2006 | — |
| Praspel | design by contract | — | — |
| Ptolemy Project | — | — | University of California, Berkeley |
| Pure Data | dataflow programming | 1996 | Miller Puckette |
| Pyomo | — | — | — |
| Stan | — | — | — |
| Strongtalk | object-oriented programming | 2002 | — |
| Tcl | multi-paradigm programming, procedural programming, event-driven programming, functional programming, imperative programming, object-oriented programming | 1988 | John Ousterhout |
| TinyScheme | — | 1998 | — |
| URBI | — | 2003 | — |
| Urbiscript | object-oriented programming | — | — |
| Yorick | array programming | 1996 | — |