Arduino core for the ESP32
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Hogar + PIC18F4550 + ENC28J60 + Internet de Todo + automatizacion
SDK for connecting to AWS IoT from an Arduino Yún
Arduino IDE sketch for ESP8266 modules
Open Source PLC based on the arduino platform