Market leading real time kernel for 40+ microcontroller architectures
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
GNU Octave toolkit for controlling a Raspberry Pi
Code for ST32m
BASIC-like language interpreter for embedded systems
A realtime-schedule generator for educational purposes
Free real-time operating system designed for microcontrollers
State machine framework for reactive embedded systems
PRTOS is a simple, compact preemptive RTOS for embedded systems
A minimistic Linux window manager with css style config
A Windows based GUI for popular avrdude command line utility
Community-driven variant of TI's bare metal development support tools
Turns the BeagleBone Black into a Nintendo-based retrogaming console.
Debian for WDTV Live (running WDLXTV) - Inc. Build Essentials
Pinguino VB IDE
Modular CNC software for Arduino controller
Raspberry Pi 2 OS with LXDE Linux Desktop with Kodi Installed
cMIPS - an FPGA ready VHDL model for 5-stage pipeline, MIPS32r2 core
SDK for the SARK-110 Antenna Analyzer
A 65C02 Emulator for Microchip PIC24/33
HatMod ROMs for Ramos Tablets