| Aardappel | ⊕ 1997 | ↓ ↑ ⊕ Specialised Languages | ⊕ Tree | ⊕ United Kingdom | Concurrent tree space transformation |
| CABAL | ⊕ 1997 | ⊕ United Kingdom | Parallel CAMAL to run on supercomputers | ||
| DARK BASIC | ⊕ 1997 | ⊕ United Kingdom | |||
| Isabelle/HOL | ⊕ 1997 | ⊕ United Kingdom | |||
| NETREXX | ⊕ 1997 | ⊕ United Kingdom | |||
| ParaDE | ⊕ 1997 | ⊕ United Kingdom | |||
| Perfect | ⊕ 1997 | ⊕ United Kingdom | |||
| PIZZA | ⊕ 1997 | ⊕ United Kingdom | |||
| ZCCS | ⊕ 1997 | ⊕ United Kingdom |