IoT Technical Guide - Building a High-Performance IoT Platform
Java dwarf library
Synthesizing embedded control software from formal specifications
MGSyn - Automatic Synthesis for Industrial Automation
E-Sport Drivers for the Razer Nostromo
Simulator of access controls
Simple web view on OSGi runtime