| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
|---|
| APL | A concise programming language focused on multi-dimensional arrays, using unique symbols to represent functions, influencing modeling and functional programming. |
|---|
| AutoHotkey | a scripting language for Windows, used to create keyboard shortcuts and automate tasks. |
|---|
| Ballerina | Open source general-purpose programming language designed for cloud-native and concurrent applications. |
|---|
| Bash | Shell and command language supported by the Free Software Foundation. |
|---|
| Batchfile | Scripting language for automating tasks in DOS and Windows environments. |
|---|
| Clang | Compiler front end for C, C++, Objective-C, and Objective-C++, integrating with LLVM. |
|---|
| Clojure | Dynamic language known for its expressiveness and concurrent processing capabilities. |
|---|
| CMake | Cross-platform build system that generates build files for software projects. |
|---|
| Cython | Is an optimising static compiler for Python and Cython extensions improving performance and interoperability with C. |
|---|
| Delphi | General-purpose programming language with an IDE for rapid application development, using the Delphi dialect of Object Pascal. |
|---|
| F# | Functional-first language on the .NET platform, known for its strong typing and multi-paradigm capabilities. |
|---|
| Flyde | Visual language for intuitive data flow and TypeScript integration. |
|---|
| Inko | Language for efficient, safe concurrent software, with features like static typing and type-safe concurrency. |
|---|
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
|---|
| KornShell | Unix-based shell that combines features from C and Bourne shells, supporting POSIX standards. |
|---|
| LabVIEW | Graphical environment for data acquisition and industrial automation. |
|---|
| Makefile | Tool used for build automation, defining build tasks in makefiles based on file timestamps. |
|---|
| Mojo | Modular language blending Python's syntax with C-like performance. |
|---|
| Mono | .NET compatible software framework. |
|---|
| Nickel | Lightweight configuration language designed for generating modular and reusable configuration files. |
|---|
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
|---|
| PKL | Configuration language for defining data structures and generating JSON or YAML outputs. |
|---|
| PowerShell | Shell and scripting language from Microsoft. |
|---|
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
|---|
| Sass | Preprocessor language that compiles to CSS. |
|---|
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
|---|
| Slog | A programming language for parallel logic programming with first-class facts handling. |
|---|
| Starlark | Python-like configuration language used for application configuration and build automation with tools like Bazel. |
|---|
| Tcl | Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms. |
|---|
| XPath | Expression language for querying and transforming XML documents. |
|---|