| AMPL | Algebraic modeling language for complex optimization problems in large-scale computing. |
|---|
| APL | A concise programming language focused on multi-dimensional arrays, using unique symbols to represent functions, influencing modeling and functional programming. |
|---|
| C | General-purpose language foundational in systems and application programming. |
|---|
| Common Lisp | A high-performance, ANSI-standardized Lisp dialect recognized for its flexibility and macro system, supporting multiple programming paradigms. |
|---|
| Eiffel | Object-oriented programming language emphasizing design by contract. |
|---|
| Euphoria | User-friendly language focusing on simplicity and readability, popular for various applications on multiple OS platforms. |
|---|
| Fortran | Language optimized for high-performance numerical computation and scientific computing. |
|---|
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
|---|
| Julia | A dynamic language designed for numerical and scientific computing with strong support for parallel computing and multiple dispatch. |
|---|
| LabVIEW | Graphical environment for data acquisition and industrial automation. |
|---|
| MATLAB | Proprietary multi-paradigm programming language and numerical computing environment. |
|---|
| MiniZinc | Language for constraint modelling and solving complex combinatorial problems. |
|---|
| Modelica | Non-proprietary, object-oriented language for modeling complex physical systems across multiple domains. |
|---|
| NetLogo | Multi-agent environment for modeling complex systems. |
|---|
| Picat | A multi-paradigm language integrating functional, logic, and imperative programming features. |
|---|
| Prolog | Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks. |
|---|
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
|---|
| Simulink | Graphical programming environment for dynamic system modeling and analysis integrated with MATLAB. |
|---|