https://pigweed.googlesource.com/
I saw this was recently open sourced with Apache license by Google. It is a collection of microcontroller libraries. Was hoping someone smarter than me would give it a look and see if any of those tools are useful for Teensy development.