| Abbreviated Test Language for All Systems | multi-paradigm programming | 1983 | Institute of Electrical and Electronics Engineers |
| Agda | purely functional programming | 2007 | Chalmers University of Technology |
| C | multi-paradigm programming, imperative programming, structured programming, procedural programming | 1972 | Dennis M. Ritchie, Bell Labs, American National Standards Institute, International Organization for Standardization, Ken Thompson |
| C* | imperative programming, multi-paradigm programming, object-oriented programming, parallel programming | 1987 | — |
| Cilk | structured programming, imperative programming, procedural programming, parallel computing | 1994 | Charles E. Leiserson |
| Cool | object-oriented programming | 1996 | — |
| CWEB | literate programming | — | Donald Knuth |
| Draco | imperative programming, procedural programming, structured programming | — | — |
| Escher | logic programming, declarative programming, functional programming | — | — |
| F | modular programming, array programming, procedural programming | — | — |
| Fortran | procedural programming, generic programming, object-oriented programming, array programming, imperative programming, structured programming | 1957 | IBM, John Backus |
| Handel-C | imperative programming | 2005 | Mentor Graphics |
| Intel Parallel Building Blocks | imperative programming | 2010 | Intel |
| 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 |
| OpenCL | object-oriented programming, imperative programming, structured programming, generic programming | 2009 | Khronos Group |
| Pike | procedural programming, object-oriented programming, functional programming | 1994 | — |
| Seed7 | imperative programming, object-oriented programming, multi-paradigm programming, generic programming, reflective programming, structured programming | 2005 | — |
| Speedcoding | structured programming, object-oriented programming, generic programming, procedural programming | 1953 | John Backus, IBM |
| Split-C | imperative programming | — | — |
| Turing | procedural programming, object-oriented programming | 1982 | Holt Software Associates |
| Unified Parallel C | parallel computing | 1999 | — |