Hacker News new | ask | show | jobs
Porting Lean to the ESP32-C3 RISC-V Microcontroller (kuruczgy.com)
2 points by kuruczgy 692 days ago