teensy programs for the Teensyduino. I'm using a Teensy 3.5 with the audio output card. It's very nice.