LISPマシン
追加ビットの一部はデータ型を保持するのに使われ(タグ付きアーキテクチャ)、その他はCDRコーディング(英語版)(リストに要するメモリを約半分にする方式)の実装やガベージコレクションに使われた。さらなる改善として、2つのマイクロコード命令でLISPの関数呼び出しをサポートし、(一部のシンボリックスの実装では)関数呼び出し当たりのコストを20クロックサイクルに削減している。
最初のマシンは CONS(LISPのリスト作成演算子にちなんだ名称)と呼ばれた。CONSはトム・ナイトが修士論文のテーマとしたことから「ナイト・マシン」とも呼ばれた。その後、さらに改良された CADR(LISPの cadr 関数 = CAR + CDR に由来)と呼ばれるバージョンが完成した。アーキテクチャは基本的には同じである。25台の CADR マシンがMIT内外に約5万ドルで販売された。ハッカーの間で人気となり、すぐさま各種ツールが移植されていった(例えば、Emacs は 1975年に ITS から移植された)。1978年にMITで開催されたAI会議で好評を博し、DARPAはその開発に資金提供を開始した。
例えば、SunのワークステーションやMac向けの拡張ボード、スタンドアロンのワークステーション、そして組み込みシステムなどにまで利用された。LMI社は CADR アーキテクチャをやめて新たに K-Machine を開発したが、リリースする前に倒産した。倒産直前のLMIでは、巨大仮想空間を複数マシン間で共有する分散システムを検討していた。
これらのマシンは様々な、コンパイルされたLISPプログラムに必要なプリミティブ的な操作をハードウェアでサポートしており、データ型チェック、CDRコーディング(リスト型のデータ構造を配列的に詰めたもの)、並列and・or並行ガベージコレクションのハードウェアサポートなどがある。これにより、大きなLISPプログラムを非常に効率的に動作させることができた。シンボリックス社のマシンは商用のスーパーミニコンピュータ(VAXなど)と競合したが、人工知能研究以外の用途に使われることはほとんどなかった。一部の例外的な用途として、シンボリックスのLISPマシンはコンピュータグラフィックスのモデリングやアニメーションにおけるアルゴリズム研究に用いられた例もある。
MITから派生したLISPマシンは、MITのMacLispを先祖とする Lisp Machine Lisp(英語版) という方言を主要言語としていた。オペレーティングシステムもLISPで書かれていて、オブジェクト指向による拡張(Flavors)も使われていた。後にLISPマシンは Common Lisp もサポートするようになった。
1980年代中ごろ、Integrated Inference Machines (IIM) がLISPマシンの試作機 Inferstar を開発している。