| APL | A concise programming language focused on multi-dimensional arrays, using unique symbols to represent functions, influencing modeling and functional programming. |
|---|
| Clang | Compiler front end for C, C++, Objective-C, and Objective-C++, integrating with LLVM. |
|---|
| D | Modern system programming language influenced by C++ with multiple paradigms and expressive features. |
|---|
| Datalog | Declarative logic programming language and subset of Prolog, used for deductive databases. |
|---|
| Differential Datalog | A language for efficient incremental computation and dataflow processing. |
|---|
| Eclair | A logic programming language for specifying complex rules over large datasets efficiently. |
|---|
| Eiffel | Object-oriented programming language emphasizing design by contract. |
|---|
| Elixir | Dynamic, functional language for scalable applications built on Erlang VM. |
|---|
| Enso | Visual, data-centric programming language designed for efficient collaboration. |
|---|
| Fortran | Language optimized for high-performance numerical computation and scientific computing. |
|---|
| Intel Fortran | High-performance computing compiler suite from Intel, supporting multiple platforms. |
|---|
| Julia | A dynamic language designed for numerical and scientific computing with strong support for parallel computing and multiple dispatch. |
|---|
| K | Proprietary array language, foundation of kdb+, developed by Kx Systems. |
|---|
| LabVIEW | Graphical environment for data acquisition and industrial automation. |
|---|
| LLVM | Set of compiler technologies for developing language frontends and architecture backends. |
|---|
| Logtalk | Object-oriented logic programming language extending Prolog. |
|---|
| Nim | Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript. |
|---|
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
|---|
| Prolog | Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks. |
|---|
| PyPy | High-performance alternative implementation of Python featuring a JIT compiler for speed. |
|---|
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
|---|
| R | Language and environment for statistical computing and graphics. |
|---|
| R5RS | R5RS is the fifth version of Scheme, emphasizing minimalist and functional programming. |
|---|
| Racket | Multi-paradigm language derived from Lisp and Scheme, known for powerful macros and libraries. |
|---|
| Rascal | Domain-specific language for metaprogramming and implementing domain-specific languages. |
|---|
| Ruby | Interpreted, high-level language focused on productivity and simplicity. |
|---|
| Simulink | Graphical programming environment for dynamic system modeling and analysis integrated with MATLAB. |
|---|
| Soufflé | Parallel logic programming language used for static analysis and reverse engineering, influenced by Datalog. |
|---|
| TXL | Language for creating and manipulating programming languages with pattern-matching. |
|---|
| XQuery | W3C language for querying and transforming XML data using XPath. |
|---|
| XSLT | Declarative language for transforming XML documents. |
|---|