Arduino no trae por defecto el USB, tienes que comprar un convertidor de serial a USB, Teensy lo trae incormporado por defecto.
En cuanto al código que usa Teensy, puede ser programado en C, o bien con codigo Arduino mediante el Add-on que el equipo de Teensy desarrolló para el software de Arduino.
Saludos.