Teensy 2.0 and 3.0 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
This github repository contains work-in-progress code, which may not be stable. It is not recommended for use in actual projects.