Surprised nobody has mentioned the Pico2 boards (based on RP2350A or RP2350B chips, instead of RP2040).
2x ARM cores plus 2x RISC-V cores (perm any 2 from 4)
150 MHz with FPU instead of 133MHz without lower power consumption more I/O pins (B model only?)
I really ought to buy a couple for tinkering ...
official boards not available yet, but 3rd party boards are, e.g.