That's PicoLisp, which you can apt-get install. This is PilMCU, a hardware design which apparently runs PicoLisp. Right now, only the design exists, not physi

That's PicoLisp, which you can apt-get install. 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.]