Device OS (Firmware) for particle devices
Dataflow Run Time
An Open-Source Library for Low-Power Approximate Computing Modules
Watchdog Timer Driver for LPC1114 on FreeRTOS
Containment Domains are a framework for computational resiliency
PARASOL is a C library for implementing computer-system simulations.