Client library for using AWS IoT Jobs service on embedded devices
The 8051 Simulator for Students and Educators
Real-Time Embedded Frameworks based on active objects & state machines
QFSViewer is a small tool to view system raw image files.
Linux distribution to promote Mozilla
Multitasking MIPS32 M4K
Multitasking ARMv7-M (Cortex-M)
Multitasking ARMv7-R and ARMv7-A (Cortex-R, Cortex-A)
An analysis tool showing the structure of a C program
State machine framework for reactive embedded systems
PRTOS is a simple, compact preemptive RTOS for embedded systems
A Windows based GUI for popular avrdude command line utility
Allows executing code on MIPS32 EmbeddedLinux devices (WLAN routers)
MGSyn - Automatic Synthesis for Industrial Automation
a linux based readonly image as appliance
Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.
serial logging tool with time stamps and hotkey and automation support
Technology project
JBernstein: Exploration techniques for non-linear constraint checking