| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| Alef | concurrent computing, structured programming | static typing, strong typing | 2 |
| Cilk Plus | — | — | — |
| Intel Parallel Building Blocks | imperative programming | manifest typing, weak typing | — |
| Kojo | functional programming, object-oriented programming | strong typing | — |
| OpenMx | structural equation modeling | dynamic typing | — |
| SuperNova | — | — | 1 |
| Whiley | functional programming, imperative programming | safe typing, structural typing, strong typing | — |