Bibliothèque open source dédiée à la manipulation et à l'analyse de structures de données liées aux chiffrements par flot Tagada. Elle permet de modéliser, simplifier et optimiser des opérations cryptographiques complexes comme les fonctions différentielles, les registres à décalage et les boîtes-S, facilitant ainsi la recherche et le développement en cryptographie.