Non, TIGCC n'est pas mort, son développement n'est pas arrêté. Je viens d'importer une implémentation de stdint.h, complète avec documentation, contribuée par Conrad Meyer. Ce sera inclus dans la prochaine version de TIGCC.