I converted this project to run on BlackIce II.
It is a machine, written in Verilog, that runs a dialect of Lisp. It also includes some microcontroller features such as 7-segment display support, and some game features including VGA output and sprites.
It took little more than adding a Makefile and a pcf file, and a small change for the 100Mhz instead of a 50Mhz clock to make it work on BlackIce. I had to halve the size of the RAM to fit in BRAM and I haven't checked what consequences that has. It could be converted to use SRAM.