http://g7ejphhubv5idbbu3hb3wawrs5adw7tkx7yjabnf65xtzztgg4hcsqqd.onion/html/links/dc-badge.html
All of the software for programming the Propeller is free, and there's quite a variety; C, ASM, SPIN- and if you're feeling nostalgic a Z80 emulator and a C64 emulator in the works as well. The chip itself has 8 32-bit processors, so the pains involving interrupts and timeslicing are non-issues. Fabrication of the badge was all done in the US this year as well, to avoid all the import issues DEF CON has encountered in the past.