| Cuneiform | functional programming | Humboldt-Universität zu Berlin |
| Entry | visual programming language | — |
| Hy | object-oriented programming, metaprogramming, imperative programming, procedural programming, generic programming | — |
| Lean | functional programming | Microsoft Research, Leonardo de Moura |
| P* | — | — |
| P4 | imperative programming | — |
| PureScript | purely functional programming, functional programming | — |
| Snap4Arduino | — | — |
| SPARQL 1.1 | — | — |
| Wyvern | object-oriented programming, functional programming | — |