| ALBERT | ⊕ 1969 | ↓ ↑ ⊕ Specialised Languages | Symbolic | ⊕ United States | |
| AMBIT/G | ⊕ 1968 | ↓ ↑ ⊕ String and List Processing | Symbolic | ⊕ United States | Ambit symbolic package for graphs |
| ASTRE | ⊕ 1969 | ↓ ↑ ⊕ Specialised Languages | Symbolic | ⊕ France | Symbolic manipulation program |
| CAYLEY | ⊕ 1975 | ↓ ↑ ⊕ Numerical Scientific | Symbolic | ⊕ Australia | Symbolic maths for group theory |
| FLAP | ⊕ 1965 | ↓ ↑ ⊕ Numerical Scientific | Symbolic | ⊕ United States | |
| Galois | ⊕ 1975 | ↓ ↑ ⊕ Numerical Scientific | Symbolic | ⊕ Australia | Symbolic maths |
| GM | ⊕ 1963 | ↓ ↑ ⊕ String and List Processing | Symbolic | ⊕ United States | Lisp Abstract Machine without Labels |
| Hart | ⊕ 1964 | ↓ ↑ ⊕ Specialised Languages | Symbolic | ⊕ United States | Early symbolic analysis language written in Lisp |
| Korsvold | ⊕ 1965 | ↓ ↑ ⊕ Non-numerical Scientific | Symbolic | ⊕ United States | Interactive non-numeric symbolic language |
| Lovelace and Babbage | ⊕ 1843 | ↓ ↑ ⊕ Excluded from Sammet | Symbolic | ⊕ United Kingdom | |
| Peano | ⊕ 1888 | ↓ ↑ ⊕ Excluded from Sammet | Symbolic | ⊕ Italy | Peano |
| Principia Mathematica | ⊕ 1908 | ↓ ↑ ⊕ Excluded from Sammet | Symbolic | ⊕ United Kingdom | R & W symbolic treatment of maths |
| Quine | ⊕ 1952 | ↓ ↑ ⊕ Specialised Languages | Symbolic | ⊕ United States | Quine's logic system |
| Scratchpad | ⊕ 1971 | ↓ ↑ ⊕ Numerical Scientific | Symbolic | ⊕ United States | General purpose interactive symbolic maths system |
| SYMBOLANG | ⊕ 1965 | ↓ ↑ ⊕ Non-numerical Scientific | Symbolic | ⊕ United States | Symbol manipulating FORTRAN |
| Wooldridge | ⊕ 1963 | ↓ ↑ ⊕ On-Line | Symbolic | ⊕ United States | Interactive non-numeric algebraic system |