Arduino core for the ESP32
Hobby operating system, bootloader, kernel, drivers, C library
Operating system for the Sega Dreamcast
BACnet stack for Rabbit 4000/5000/6000
Tool kit for building highly secure special-purpose operating systems
Binary Modular DataFlow Machine (BMDFM)
An Open Source POWERLINK Stack
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
Implementation of LZW compression algorithm in C
RTOS for Secure, Safe and Real-Time Systems
State machine framework for reactive embedded systems
Dynamips on MinGW
Android app for MXQ TVbox to control an Arduino board via USB from PHP
DBIS Reference Implementation
Plugin for OpenLDAP who checks password quality
LXCF (LXC Facility) generates LXC container of full OS environment.
MicroLua brings Lua on the Nintendo DS for easy programming
An operating system written in C & assembly.
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs