Taiga est un outil permettant de générer des analyseurs abstraits à partir de Skeletal Semantics. Il utilise Dune et Necrolib pour la compilation et prend en charge la génération d'interprètes pour différents langages de programmation.