Real-Time Event Frameworks based on active objects & state machines
A C++ library for AVR and NodeMCU
Nginx module for embedding Clojure or Java or Groovy programs
Run STM32 with simple examples
Implementation of LZW compression algorithm in C
An analysis tool showing the structure of a C program
Real time preemptive embedded multi-thread kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
Python Library for accessing UEFI BIOS internal function by protocol
Synthesizing embedded control software from formal specifications