| 2OBJ | ⊕ 1995 | ⊕ United Kingdom | Meta-logical framework theorem prover | ||
| Aldor | ⊕ 1995 | ↓ ↑ ⊕ Non-numerical Scientific | ⊕ United Kingdom | ||
| Brisk | ⊕ 1995 | ⊕ United Kingdom | |||
| CAMAS | ⊕ 1995 | ⊕ United Kingdom | |||
| cProgol | ⊕ 1995 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | ||
| ECLIPSE | ⊕ 1995 | ⊕ United Kingdom | |||
| Escher | ⊕ 1995 | ⊕ United Kingdom | |||
| GCL | ⊕ 1995 | ⊕ United Kingdom | Genie Control Language | ||
| ISETL-Linda | ⊕ 1995 | ⊕ Set | ⊕ United Kingdom | parallel language |