Le projet tousanticovid-verif-ios est une application iOS dédiée à la vérification des pass sanitaires. Elle dispose de deux modes de fonctionnement : un mode lite (TAC Verif) pour des vérifications simples et un mode détaillé (TAC Verif +) pour afficher plus de données. Les applications Android et iOS offrent les mêmes fonctionnalités, développées à partir de sources distinctes. Le projet prévoit le remplacement de la Librairie MLKit et du service AKAMAI par des alternatives européennes.

La Borne-Passe-Sanitaire est une solution conçue pour scanner et vérifier la validité des passes sanitaires via l'application Tous Anti-Covid Vérif. Elle est initialement développée pour les besoins internes de la Gendarmerie, mais peut être utile à de nombreux acteurs publics et privés. L'architecture Android permet d'accueillir des applications équivalentes dans d'autres pays et d'être utilisée pour d'autres usages tels que la billeterie et le contrôle d'accès.

Le projet tousanticovid-verif-android est une application développée par IN Groupe permettant la vérification des passes sanitaires dans le cadre de la Loi de Sortie de l'Etat d'Urgence Sanitaire du 2 juin 2021. Il existe deux modes de fonctionnement : un mode lite pour des vérifications courantes et un mode étendu pour des vérifications plus poussées, réservé aux personnes habilitées. Les données sont traitées en local sur le smartphone, sans connexion internet.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.