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
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
