| Arduino | platform for creating interactive electronics projects, using a C/C++-based language. |
|---|
| Boomerang | Language for bidirectional transformations on textual data formats. |
|---|
| C# | Versatile high-level language supporting multiple programming paradigms. |
|---|
| c3 | Modern enhancement of C with module systems, semantic macros, and improved error handling, maintaining C compatibility. |
|---|
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
|---|
| Coq | Interactive theorem prover focused on formal verification and proof checking. |
|---|
| Csound | Flexible, high-quality, domain-specific programming language for sound and music computing. |
|---|
| FreeBASIC | BASIC compiler inspired by QuickBASIC, supporting object-oriented programming. |
|---|
| Gambit | Scheme implementation with both an interpreter and a C compiler, emphasizing simplicity and performance. |
|---|
| JavaScriptCore | JavaScript engine utilized in Safari and part of the WebKit project. |
|---|
| JRuby | Java-based implementation of Ruby, integrating closely with Java for two-way access. |
|---|
| KornShell | Unix-based shell that combines features from C and Bourne shells, supporting POSIX standards. |
|---|
| Lisp | Family of programming languages known for its fully parenthesized prefix notation and influence on AI research. |
|---|
| Nix | Cross-platform, functional package manager and language with immutable directory management. |
|---|
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
|---|
| Processing | Language for visual and multimedia programming. |
|---|
| Pure | Based on term rewriting, integrating symbolic computation and JIT compilation via LLVM. |
|---|
| Smarty | PHP template engine for separating presentation and application logic. |
|---|
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
|---|
| Vala | Object-oriented language that generates C code using the GObject system. |
|---|
| XSB | Prolog dialect with tabled resolution for logic programming and deductive databases. |
|---|