RISC-V / MIPS ISA retargetable CPU core
f32c
A 32-bit MIPS / RISC-V core & SoC, 1.55 DMIPS/MHz, 2.96 CM/Mhz
FPGArduino source