free alternative firmware for the DLink DNS-320/320L/321/323/325/327L
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Scientific/engineering firmware repurposing HP business calculators!
AO RTOS is small real time OS based on Active Object concurrency model
Framework for CAN communication interfaces including code generator
The KhadashPay project is an open-source payment system.
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Implementation of LZW compression algorithm in C
Management and Control Information Protocol
RTOS for Secure, Safe and Real-Time Systems
Open IoT Framework
An Open-Source Library for Low-Power Approximate Computing Modules
Synthesizing embedded control software from formal specifications
A software for upload .hex files to ATMEGA328P and compile .asm files
Embedded JPEG encoder
Open implementation of the x86 architecture
JBernstein: Exploration techniques for non-linear constraint checking