Arch Linux installer - guided, templates etc.
Serial Bootloader for Microchip, Atmel, NXP, TI, 8051 microcontrolers
micro kernel in assembler for AVR devices
Multifunctional electronics calculator
A Windows based GUI for popular avrdude command line utility
A command-line programmer for Atmel USB microcontrollers
Atmel AVR universal bootloader with flash CRC
Yet another Kernel - clone the git repo for newest version
Free Open Source H/W S/W for USB-GPIB interface
A tiny OS from sratch in asm
Full Basic Renumber for the C64
LED Color Control System for RaspberryPi and Dreambox