SBCL is a popular Common Lisp implementation.



Downloads for varius platforms and operating systems are available in the downloads page. If you’re on Linux, the following will download and install SBCL 1.3.8:

$ curl -O
$ bunzip2 sbcl-1.3.8-x86-64-linux-binary.tar.bz2
$ tar -xvf sbcl-1.3.8-x86-64-linux-binary.tar
$ cd sbcl-1.3.8-x86-64-linux/
$ sudo bash

You can verify the signatures using the following:

$ curl -O
$ gpg --keyserver --recv-keys 100D63CD
$ gpg --verify sbcl-1.3.8-crhodes.asc
$ cat sbcl-1.3.8-crhodes.asc
$ sha256sum sbcl-1.3.8-x86-64-linux-binary.tar