uIDE (Micro IDE) is a free, open-source IDE for Microchip PIC MCU
A GUI system for embedded systems.
Cross-platform IDE for developing embedded solutions and desktops
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Open IoT Framework
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
Managing your Arduino BOARDS.TXT and PROGRAMMERS.TXT files
BitBurner AVR Programmer, a full and complete AVRdude GUI for Windows.
Open Source Hardware For Industrial Automation