Are the Libraries that come with teensyduino somewhere in a git repository? If not, can they be?

I'm using the OctoWS2811 on a project and have some updates I have made to the movie2serial to add...