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.