| 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 |