Uri Shaked shows us Wokwi, his board and processor simulator. We checked out Arduino code in GDB and then looked at his simulator for the Cortex-M0 Raspberry Pi Pico.
First, you should totally look at Wokwi.com. As Christopher noted, signing up for an account shows you many other things. Then you can go look at the processors written in TypeScript in Uri’s Github repos: github.com/urish. Find Wokwi on Twitter (@WokwiMakes, Uri is @UriShaked). You can also find Wokwi on Facebook.
Uri live-coded development of the Pico’s RP2040, it is on Wokwi’s YouTube channel. You can find out more about the RP2040 or the AVR core in the ATMega family by taking his free courses on Hackaday: hackaday.io/urishaked (Scroll down for courses.)
Uri’s homepage is urish.org. You can find The Salsa Beat Machine there as well as some of his other projects. He has a blog there as well as at Wokwi.
