JBernstein: Exploration techniques for non-linear constraint checking
Project has been move to https://github.com/ciaa/Firmware
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
ADS1115 component for XBee Codewarrior
Open Source Hardware For Industrial Automation
Microcontroller Task Scheduler
Scheduler for reconfigurable hardware
ONE-NET is an open-source low power wireless networking protocol.
Tiny operating system for running HCFSM-based systems
Electronic system for the popular brain games like Jeopardy
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs
Quantum Leaps (QPC) DPP example with LWIP on STM3220G eval board
Arduino lx200 based computerized telescope
Light Weight & Customizable Assembly Compiler & Virtual Machine
Create networks of embedded devices for data logging/automation tasks.
A small microcontroller LED Pin-back button for just 1 $