GitHub repository: percz/cores
Description: Teensy Core Libraries for Arduino