| Euclid | ⊕ 1977 | ⊕ Canada | Verifiable system software language | ||
| FLACC | ⊕ 1977 | ↓ ↑ ⊕ Multi-purpose | ⊕ True ALGOL68s | ⊕ Canada | Mailloux's Algol 68 |
| GAME | ⊕ 1977 | ↓ ↑ ⊕ Specialised Languages | ⊕ Canada | Game programming simulations language | |
| One-man-language | ⊕ 1977 | ⊕ Canada | |||
| REGULUS | ⊕ 1977 | ↓ ↑ ⊕ String and List Processing | ⊕ Canada | Regexp macro processor | |
| Waterloo LISP | ⊕ 1977 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ Canada | |
| WATFOR-77 | ⊕ 1977 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Canada | Waterloo FORTRAN 77 |