| Chronolog 3d | ⊕ 1988 | ⊕ Canada | |||
| EV2 | ⊕ 1988 | ⊕ Canada | |||
| GraphLog | ⊕ 1988 | ⊕ Canada | |||
| microChronolog | ⊕ 1988 | ⊕ Canada | |||
| m-Verdi | ⊕ 1988 | ⊕ Canada | |||
| SL | ⊕ 1988 | ⊕ Canada | |||
| Small Euclid | ⊕ 1988 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ Canada | Testing susbset of Euclid |
| Trilogy | ⊕ 1988 | ⊕ Canada | |||
| Trilogy II | ⊕ 1988 | ↓ ↑ ⊕ Experimental and other | ⊕ Canada |