Tagada est un outil spécialisé dans la cryptanalyse différentielle automatisée. Il permet de générer des modèles déclaratifs pour analyser la sécurité des chiffrements par blocs comme AES. Le projet facilite la recherche de caractéristiques différentielles et la visualisation des graphes cryptographiques associés, aidant ainsi les chercheurs et cryptanalystes à évaluer la robustesse des algorithmes de chiffrement.

Application web permettant de concevoir des représentations graphiques de politiques publiques selon la théorie du Donut. Elle aide les utilisateurs à visualiser et partager des données sociales et environnementales sous forme de diagrammes interactifs. L'outil facilite la compréhension des enjeux de justice sociale et de durabilité en transformant des éléments textuels et chiffrés en supports visuels accessibles.