A flight software and embedded systems framework
Real-Time Event Frameworks based on active objects & state machines
Debugging and programming interfaces for Freescale microcontroller
Cross-platform IDE for developing embedded solutions and desktops
Real Time Tcp/Ip Stack Library
a self-contained development environment for embedded systems.
A C++ library for AVR and NodeMCU
BACnet stack for Rabbit 4000/5000/6000
Implementation of LZW compression algorithm in C
An analysis tool showing the structure of a C program
State machine framework for reactive embedded systems
Synthesizing embedded control software from formal specifications
a linux based readonly image as appliance
serial logging tool with time stamps and hotkey and automation support
Template Virtual COM Port Project
JBernstein: Exploration techniques for non-linear constraint checking
Script that creates a library with hardcoded resources.
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs