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.\xa0
First, you should totally\xa0 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\u2019s 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\u2019s RP2040, it is on Wokwi\u2019s 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\xa0 (Scroll down for courses.)
Uri\u2019s 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.