Bluespec is still around and actually got open-sourced recently! [0] The Bluespec company is focused on using their tools to build RISC-V cores: https://bluespe

Bluespec is still around and actually got open-sourced recently! [0] The Bluespec company is focused on using their tools to build RISC-V cores: https://bluespec.com/ https://bluespec.com/ [0]: https://github.com/B-Lang-org/bsc https://github.com/B-Lang-org/bsc