| ↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
| ForceEpsilon | ⊕ 1989 | ↓ ↑ ⊕ Experimental and other | ⊕ Polymorphic | ⊕ Canada | |
| mLucid | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Polymorphic | ⊕ Canada | Indexical Lucid |