LISPマシン
ノフツカーと決着のついた話し合いから8ヶ月後のことであった。グリーンブラットはノフツカーに対抗するLISPマシン企業を始めると決めていたが、具体的には何もしていなかった。そのコンサルタント、アレキサンダー・ジェイコブソンはグリーンブラットが会社を興すのを助けることを決め、経営計画などをまとめた。この新たな企業は LMI(Lisp Machine, Inc.)と名づけられ、ジェイコブソン経由で CDC の資本で設立された。
このころ、シンボリックス社が事業を開始した。ノフツカーがグリーンブラットに対して一年間の猶予を与えると約束したことと、ベンチャーキャピタルからの資金集めが難航したための遅れであった。しかし、AI研究所のハッカー達のうち3、4人はグリーンブラットについたものの、他の14人のハッカーがシンボリックスで働くことになったことで、シンボリックスにとっては有利となった。ただし、リチャード・ストールマンとマービン・ミンスキーの2人はどちらにも与しなかった。ただし、ストールマンはAI研究所を中心としたハッカー文化を衰退させたとしてシンボリックスを非難している。1982年から1983年末までの2年間、ストールマンはシンボリックスのプログラマ達の成果のクローンを作る作業を行い、研究所のコンピュータ群においてシンボリックスが独占状態となるのを防ごうとした。
シンボリックスは1980年から1981年にかけて CADR を LM-2 として販売開始し、LMI も LMI-CADR として販売開始した。
1973年、MIT AI研究所のプログラマ、リチャード・グリーンブラットとトム・ナイト(英語版)は MIT LISPマシンプロジェクトを立ち上げた。これは、基本的なLISPの機能がハード的に動作するコンピュータを構築するもので、24ビットのタグ付きアーキテクチャを採用していた。また、このマシンはインクリメンタルなガベージコレクションを採用していた。LISPの変数はコンパイル時ではなく実行時に型付けされるので、普通のハードウェアでは2つの変数の加算に通常の5倍の時間がかかる(型チェックと型ごとの分岐のため)。LISPマシンでは通常の加算命令で型チェックを同時に行う。型チェックが失敗した場合、並行して行っていた加算結果を捨て、再計算する。従って、多くの場合、単純な加算だけで済むので高速化される。このようなチェックを並行して行う手法は、配列の境界チェックなどのメモリ管理関連でも行われている。
Symbolics 3600シリーズでは、32ビットワードを36ビットワードに拡張することで型チェックがさらに強化・自動化された。これは後にさらに40ビットワード以上に強化されている(型チェックが関係しない場合、余分なビットは誤り検出訂正に使われた)。
OSのメモリ管理機能の一部としてガベージコレクションも行う。全てのコードは単一のアドレス空間を共有している。メモリに格納されているあらゆるデータオブジェクトにはタグが付属しており、実行時にデータ型を判別できる。単一アドレス空間内に複数の実行スレッドがあり、それらを「プロセス」と呼ぶ。
全OSソフトウェアはLISPで書かれている。ゼロックスはInterLisp、シンボリックスとLMIとTIはMaclispから派生した Lisp Machine Lisp を使っている。Common Lisp が登場するとLISPマシンでも Common Lisp をサポートするようになり、Common Lisp でソフトウェアが書かれるようになった。
後期のLISPマシン(TI MicroExplorer、Symbolics MacIvory、Symbolics UX400/1200 など)はワークステーションとしてではなく、何らかのホストコンピュータ(Macintosh II や Sun-3/4 など)に組み込むカードの形で製品化された。
Symbolics XL1200 などのLISPマシンは特別なグラフィックスカードを備え、グラフィックス機能が強化されていた。そのようなLISPマシンは医用画像処理、3次元アニメーション、CAD などに使われた。
1984年から1985年にかけて、イギリスの Racal-Norsk はノルウェーの Norsk Data のミニコンのマイクロプログラムをLISPマシン化して CADR 用のソフトウェア Knowledge Processing System (KPS) を動作させることを試みている。
フランスでは2つのLISPマシン・プロジェクト、M3LとMAIAが実施されている。
ドイツではシーメンスがRISCベースのLISP用コプロセッサCOLIBRIを開発している。
日本では、1979年に完動した神戸大のTAKITAC-7(FAST LISP)をはじめ、理化学研究所のFLATS、大阪大学のELVISなどが試作された。富士通のFACOM α(メインフレームのバックエンドとして動作。1984年発表)、NTT電気通信研究所のELIS(TAO/ELIS)、東芝のAIプロセッサ(AIP)、日本電気のLIMEのようにLISPマシン市場への参入を試みた例もある。青山学院大学で開発されたALPS/1は、8080の特定の命令実行を横取りし、ハードウェアでデータを処理させる、という仕組みであった。
情報処理学会のコンピュータ博物館サイトの「神戸大LISPマシン」の解説の最後に「TAKITAC-7のアーキテクチャは後のFACOM-αとNTTのELISが継承した.」とあるが、いずれもそのまま引き継いでいるわけではない。FACOM αは同社のメインフレームないしミニコンのバックエンドとして動作するものである。またELISについては関係者が執筆した記事によれば、設計者は(神戸大LISPマシンを)32ビットにしただけと言ったりもするが、VLSIチップにすることを前提にそれに適したアーキテクチャとして設計されており。、そういった点は独自性が強い。