antoniusf/cores

Teensy Core Libraries for Arduino (this fork -> take a look at the usb_steno branch)

Teensy 2.0, 3.x, LC core libraries for Arduino.

The latest stable version of Teensy's core library is always available in the Teensyduino installer, at this page:

http://www.pjrc.com/teensy/td_download.html