Claire Wolf's repositories
SimpleVOut
A Simple FPGA Core for Creating VGA/DVI/HDMI/OpenLDI Signals
riscv-formal
RISC-V Formal Verification Framework
Golirev-IDE
An online Verilog IDE based on YosysJS.
bitthunder
BitThunder - Reliable, real time, portable, scalable, embedded operating system, RTOS.