| Ballerina | Open source general-purpose programming language designed for cloud-native and concurrent applications. |
|---|
| Flix | Functional, imperative, and logic language focusing on type and effect systems. |
|---|
| Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
|---|
| Nim | Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript. |
|---|
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
|---|
| Scala | Statically typed language supporting both object-oriented and functional programming, known for addressing Java's criticisms and supporting concurrent, distributed systems. |
|---|
| SHACL | W3C standard language for RDF graph constraints and validation. |
|---|
| TypeScript | Strongly typed superset of JavaScript that compiles to plain JavaScript. |
|---|
| Vala | Object-oriented language that generates C code using the GObject system. |
|---|
| Whiley | Functional and imperative language with contracts and formal specification features. |
|---|
| Zig | System programming language designed as an improvement over C/C++ with native error handling and performance enhancements. |
|---|