This is PilMCU, a hardware design which apparently runs PicoLisp.
Right now, only the design exists, not physical hardware. But you can run the design in a simulator. ...Something, something, verilog. (This is not my area of expertise.)
[Edit: the devs use the Icarus verilog compiler to provide simulations. It's available in Debian repositories.]
http://www.mail-archive.com/picolisp@software-lab.de/msg0483...
...But still no links to source. (As I understand it, this hardware design is expressed in the form of verilog source code.)