[kylek]

I'm not totally up to date on it, but the RISC-V project has a tool (Chisel) that "compiles" to verilog... Interesting times for sure!

[emmelaich]

Also checkout clash-lang.org which takes an almost Haskell language to VHDL or Verilog or others.