| &ACE | ⊕ 1995 | ⊕ Spain | |||
| A# | ⊕ 1995 | ⊕ Algebraic | ⊕ United States | Subcomponent of AXIOM 2 | |
| ABAP/4 | ⊕ 1995 | ⊕ Germany | |||
| ALEF | ⊕ 1995 | ⊕ United States | |||
| CASL | ⊕ 1995 | ⊕ Italy | |||
| Curry | ⊕ 1995 | ⊕ International | Hybrid functional/logic language | ||
| EPILIDEX | ⊕ 1995 | ⊕ Brazil | |||
| Escher | ⊕ 1995 | ⊕ United Kingdom | |||
| Frost | ⊕ 1995 | ⊕ United States | |||
| fSDL | ⊕ 1995 | ⊕ Netherlands | full Structure Definition Language | ||
| GCaml | ⊕ 1995 | ⊕ France | OCaml with polymorphic extensions | ||
| ICOT | ⊕ 1995 | ⊕ Korea, Republic of | |||
| JAVASCRIPT | ⊕ 1995 | ⊕ United States | |||
| LiveScript | ⊕ 1995 | ⊕ United States | |||
| Lygon | ⊕ 1995 | ⊕ Australia | Linear Logic Programming Language | ||
| Macaulay2 | ⊕ 1995 | ⊕ United States | |||
| OZ2 | ⊕ 1995 | ⊕ Germany | Interactive concurrent constraint language | ||
| R | ⊕ 1995 | ⊕ United States | |||
| SAL | ⊕ 1995 | Single Assignment Language | |||
| Split-C | ⊕ 1995 | ⊕ United States | |||
| S-Plus | ⊕ 1995 | ⊕ United States | Commercialised version of S | ||
| TIL | ⊕ 1995 | ⊕ United States | |||
| VB4 | ⊕ 1995 | ⊕ United States |