| EDDI | ⊕ 1999 | ⊕ United Kingdom | |||
| Epigram | ⊕ 1999 | ⊕ United Kingdom | dependently typed functional programming language | ||
| Fickle-99 | ⊕ 1999 | ⊕ United Kingdom | |||
| Magik | ⊕ 1999 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | ||
| MCPL | ⊕ 1999 | ↓ ↑ ⊕ Multi-purpose | ⊕ CPL, BCPL and B | ⊕ United Kingdom | Matching CPL |
| SPARK95 | ⊕ 1999 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Provable Ada95 | |
| Vorlon | ⊕ 1999 | ⊕ United Kingdom |