| ATS | declarative programming, functional programming | 2006 | Boston University |
| Cypher Query Language | — | — | — |
| Emacs Lisp | metaprogramming, reflective programming, functional programming | 1985 | GNU Project |
| Hare | — | — | Drew DeVault |
| J | functional programming, function-level programming, tacit programming, multi-paradigm programming, array programming, object-oriented programming | 1990 | Roger Hui, Kenneth E. Iverson |
| JModelica.org | declarative programming | — | — |
| KamilaLisp | — | 2021 | — |
| Lisaac | object-oriented programming | 2003 | — |
| Mizar | declarative programming | 1973 | — |
| OpenMusic | — | — | — |
| Sather | functional programming, object-oriented programming | 1990 | GNU Project |
| SmallBASIC | — | — | — |
| Solidity | — | 2014 | — |
| SPARK | procedural programming | 1988 | Altran, University of Southampton |