Formally verified #RISCV Core ... Written in #Haskell
https://github.com/standardsemiconductor/lion
Clash looks so cool ... Turns #Haskell into #VHDL and #Verilog
https://clash-lang.readthedocs.io/en/latest/getting-started/first-circuit.html
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
Clash looks so cool ... Turns #Haskell into #VHDL and #Verilog
https://clash-lang.readthedocs.io/en/latest/getting-started/first-circuit.html