Ada | High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems. |
---|
C | General-purpose language foundational in systems and application programming. |
---|
Csound | Flexible, high-quality, domain-specific programming language for sound and music computing. |
---|
Curry | Declarative language that integrates features of functional and logic programming paradigms |
---|
Eiffel | Object-oriented programming language emphasizing design by contract. |
---|
Forth | Stack-oriented programming language known for its flexibility, efficiency, and use in embedded systems. |
---|
Fortran | Language optimized for high-performance numerical computation and scientific computing. |
---|
Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
---|
Groovy | Flexible and dynamic language for the Java platform with strong integration capabilities. |
---|
Inform | Programming language for interactive fiction, supporting natural language sentence story writing. |
---|
Kotlin | Concise, statically typed language interoperative with Java, targeting JVM and other platforms. |
---|
LabVIEW | Graphical environment for data acquisition and industrial automation. |
---|
MicroPython | Subset of Python 3 tailored for microcontrollers. |
---|
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. |
---|
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. |
---|
Raku | Raku, formerly Perl 6, is a multi-paradigm language in the Perl family, featuring dynamic and gradual typing. |
---|
Scala | Statically typed language supporting both object-oriented and functional programming, known for addressing Java's criticisms and supporting concurrent, distributed systems. |
---|
Scheme | Minimalistic Lisp dialect known for its functional programming capabilities. |
---|
Simulink | Graphical programming environment for dynamic system modeling and analysis integrated with MATLAB. |
---|
SQL | Domain-specific language for managing data in relational databases. |
---|
SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
---|
Tcl | Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms. |
---|
Visual Basic | Multi-paradigm language developed by Microsoft for Windows applications. |
---|
Zig | System programming language designed as an improvement over C/C++ with native error handling and performance enhancements. |
---|