Might be of interest - another effort to improve on verilog
Compared to Verilog, Wyre aims to cut down on verbosity, reduce errors (via strong typing) and improve design iteration speed. Wyre compiles to Verilog, so any design can be fed through an existing Verilog-based toolchain.
Froma a thread about an ongoing project to build a Minecraft engine on an ice40
https://news.ycombinator.com/item?id=25171617