| Ada | High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems. |
|---|
| Amber | Language compiling into Bash with modern syntax and safety features. |
|---|
| C# | Versatile high-level language supporting multiple programming paradigms. |
|---|
| Gleam | A general-purpose, functional language that compiles to Erlang and JavaScript, featuring static, inferred typing for concurrent programming. |
|---|
| Hack | PHP-influenced language with static and gradual typing, used on the HHVM platform. |
|---|
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
|---|
| Java | High-level language known for its portability and extensive ecosystem. |
|---|
| Pascal | An imperative and procedural language designed by Niklaus Wirth, known for encouraging structured programming and data structuring. |
|---|
| Pony | Object-oriented, actor-model, secure programming language. |
|---|
| PowerShell | Shell and scripting language from Microsoft. |
|---|
| Rust | General-purpose programming language emphasizing performance, type safety, and concurrency. |
|---|
| Visual Basic | Multi-paradigm language developed by Microsoft for Windows applications. |
|---|
| Whiley | Functional and imperative language with contracts and formal specification features. |
|---|