Arduino files for Teensy and Teensyduino.  Eagle files for schematic and board design.