XMOS was around for a long time, but for whatever reason I never saw it used much. There are so many RP2040 projects floating around on github now, showcasing the programmable IO ports. That's very helpful if you want to tinker with something yourself.