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