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 |