Doesn't that look like an open source implementation? Or did I misunderstand something?
However:
> The compiler is not far enough along for programmers to "kick the tires" on Checked C. We do not have a installable version clang available yet. If you are really interested, you can build your own copy of the compiler:
So, yes, we can edit those TeX documents they put on GitHub to our heart's delight.