nMigen: python based DSL to verilog translator
LiteX: Open source gateware
SymbiFlow: Open source verilog compiler + PnR tooling.
There a linux kernel running on liteX and a Risc V core running on an ECP5 running out on the internets.
A micropython version running on a risc V core and migen (earlier version of nMigen) can also be found here: https://fupy.github.io/
nMigen: python based DSL to verilog translator
LiteX: Open source gateware
SymbiFlow: Open source verilog compiler + PnR tooling.
There a linux kernel running on liteX and a Risc V core running on an ECP5 running out on the internets.
A micropython version running on a risc V core and migen (earlier version of nMigen) can also be found here: https://fupy.github.io/