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.

Necro est un projet OCaml développé à Inria Rennes en juin 2018, en relation avec l'article de recherche Skeletal Semantics and their Interpretations. Le projet fournit une boîte à outils pour manipuler les squelettes sémantiques, un format pour représenter la sémantique des langages de programmation.

Ce projet fournit une bibliothèque de fonctions spécialisées dans l'application des lois françaises, les calculs juridiques et l'interprétation de textes législatifs. Il est disponible en plusieurs langages de programmation et peut être facilement intégré dans des applications existantes.