Guy is implementing a computer on a FPGA using #Haskell.
So far he's done VGA http://gergo.erdi.hu/blog/2018-09-02-c_ash_video__vga_signal_generator
And PS/2 keyboard: http://gergo.erdi.hu/blog/2018-09-08-ps_2_keyboard_interface_in_c_ash
@joeyh Cactus always has interesting projects. Like a CPU built on an FPGA that uses Brainfuck as its machine code (also a Haskell project).
typed brainfuck I hope?
@joeyh From my limited knowledge about all technologies involved, it seems untyped.
https://gergo.erdi.hu/blog/2013-01-19-a_brainfuck_cpu_in_fpga/ or https://github.com/gergoerdi/brainfuck-cpu-fpga might have more info, if you're curious. The blog post has some demos too!
@joeyh I hope to find the time/opportunity to explore FPGA development with a higher level language like that. It could be especially powerful expressing generative constructs. Straight Verilog 2001 is a bit... Tiresome.