| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
|---|
| C | General-purpose language foundational in systems and application programming. |
|---|
| Cilk | Family of languages designed for parallel computing extending C and C++. |
|---|
| Clang | Compiler front end for C, C++, Objective-C, and Objective-C++, integrating with LLVM. |
|---|
| FAUST | Designed for sound synthesis and high-performance audio processing, supporting multiple backends. |
|---|
| Fortran | Language optimized for high-performance numerical computation and scientific computing. |
|---|
| Hack | PHP-influenced language with static and gradual typing, used on the HHVM platform. |
|---|
| Java | High-level language known for its portability and extensive ecosystem. |
|---|
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
|---|