| .QL | logic programming, declarative programming, object-oriented programming | static typing, strong typing | — |
| Ada 2005 | — | — | — |
| Agda | purely functional programming | manifest typing, static typing, nominative typing, dependent typing, inference typing, strong typing | 1 |
| Apex | object-oriented programming | strong typing | — |
| Atom | functional programming, declarative programming | strong typing | — |
| Clojure | concurrent computing, agent-oriented programming, functional programming, logic programming | dynamic typing, strong typing | 2 |
| Cython | — | — | — |
| Emmental | esoteric programming | — | — |
| Ezhil | procedural programming, structured programming, imperative programming | dynamic typing, strong typing | — |
| GolfScript | — | — | — |
| Idris | total functional programming, functional programming, purely functional programming | static typing, dependent typing, linear typing, uniqueness typing | — |
| Kinetic Rule Language | event-driven programming, rule-based programming | dynamic typing, weak typing | — |
| LOLCODE | procedural programming, structured programming, imperative programming | — | — |
| Nu | procedural programming, functional programming, structured programming, imperative programming, object-oriented programming | dynamic typing | — |
| OpenJDK | — | — | — |
| PascalABC.NET | object-oriented programming | — | — |
| Production Rule Representation | — | — | — |
| Swift | dataflow programming, concurrent computing | — | 1 |
| XQuery | functional programming, declarative programming, modular programming | dynamic typing, static typing, strong typing | — |
| ZhPy | multi-paradigm programming | — | — |