Real-Time Event Frameworks based on active objects & state machines
Nginx module for embedding Clojure or Java or Groovy programs
Implementation of LZW compression algorithm in C
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