This is your work, valued
piratos. FreeRTOS based OS for the Raspberry Pi
12genesys. A firmware development framework for ESP8266 based on esp-arduino-core.
10push. Petite Un*x Shell for Embedded Systems
6Arduino-ESP32-1.0.6. Arduino core for the ESP32
4mega65-c-tutorial. A Makefile to build C programs that target the MEGA65 using CC65, KickC or VBCC.
4mega65-user-guide. MEGA65 User Guide
2mega65-core. MEGA65 FPGA core
2z4ctrl. A command line tool to control Sanyo projectors via their serial port.
2Arduino-ESP32-1.0.0. Arduino core for the ESP32
2