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