Awesome! Bluespec is another Haskell-related HDL: http://wiki.bluespec.com/

deadgrey19 · on May 26, 2016

Bluespec is closed source and expensive to license. I can't even find a 30-day trial download on the website which most people give away for free. Probably not compatible with a hobbyist project like this one.

OJFord · on May 26, 2016

There's also Ruby (not that Ruby).

  http://www.cs.ox.ac.uk/people/geraint.jones/ruby/  
  https://www.doc.ic.ac.uk/~wl/teachlocal/cuscomp/rebecca/

fanf2 · on May 28, 2016

Bluespec is used for the FPGA implementation of the CHERI capability-secure processor architecture.

http://www.cl.cam.ac.uk/research/security/ctsrd/beri/