Les langages de programmation ont rarement une sémantique définie de manière formelle. Pourtant, c'est la seule manière de garantir l'unicité de l'interprétation d'un langage. Une des raisons qui expliquent ce manque est la difficulté d'écrire une sémantique, et le peu d'application qu'on peut en faire. Nous proposons donc Skel, un langage simple qui permet d'écrire des sémantiques opérationnelles de langage, et Necro, un écosystème pour les manipuler, et notamment générer des interpréteurs ou des débogueurs à partir de celles-ci. De plus, Necro est extensible, et le langage Skel est minimal, de sorte qu'il est simple de rajouter un backend pour extraire la sémantique vers d'autres outils.