ESP32-C3

I am interested in RISC V and this seemed like a good way to get my hands on one. (Or 5)

I have 5 ESP-C3-12F chips and a programmer thingie that I can pop them into. It breaks out the pins and has a ESP-01S 2x4 pin socket and gives me a USB connection.

Options for how to use them??

Rust and Tock https://github.com/tock/tock

Micropython

ESP-IDF

Arduino https://github.com/espressif/arduino-esp32