TScert er et åpen kildekode-prosjekt på GitHub som tar sikte på å gi TypeScript en formelt solid kjerne.

Kilde: https://github.com/cristianoc/TScert