Le projet deutsch-josza est une implémentation d'un algorithme quantique permettant de déterminer la parité d'une fonction booléenne en un temps polynomial, contrairement aux algorithmes classiques qui nécessitent un temps exponentiel. Cet algorithme a des applications dans l'optimisation de l'exécution d'algorithmes quantiques et dans la recherche de solutions à des problèmes de cryptographie quantique.

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.

Outil spécialisé dans le calcul des tables de contraintes pour l'abstraction d'opérateurs cryptographiques de type Tagada. Il permet d'analyser et de générer des données nécessaires à la compréhension et à l'optimisation des fonctions de chiffrement, facilitant ainsi la recherche et le développement en cryptographie.