VAX LISP was an implementation of Common Lisp for VMS and ULTRIX on 32-bit VAXs. It was the first Common Lisp to be written for non-Lisp machines. It was initially boot-strapped from Carnegie Mellon University's Spice Lisp by recompiling its output but for VAX machine instruction and to use the large VAX stack. Some of the original developers came from CMU.