| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
|---|
| C++ | General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms. |
|---|
| Clojure | Dynamic language known for its expressiveness and concurrent processing capabilities. |
|---|
| Delphi | General-purpose programming language with an IDE for rapid application development, using the Delphi dialect of Object Pascal. |
|---|
| Haxe | High-level cross-platform language and compiler for multiple platforms. |
|---|
| 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. |
|---|
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
|---|
| Ruby | Interpreted, high-level language focused on productivity and simplicity. |
|---|
| Simulink | Graphical programming environment for dynamic system modeling and analysis integrated with MATLAB. |
|---|
| Slog | A programming language for parallel logic programming with first-class facts handling. |
|---|
| Tcl | Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms. |
|---|