Le projet asdf-plmteam-jsiebens-hashi-up est une plateforme dédiée à la gestion de projets de recherche en mathématiques. Il permet la collaboration entre équipes de recherche et facilite l'intégration d'outils de calcul formel.

Le projet binder-pari est basé sur repo2docker et fournit un environnement Jupyter pour le calcul formel avec pari-gp. Il peut être exécuté sous Conda et est utilisable pour la création d'environnements de développement personnalisés pour la recherche et l'éducation.

Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.

Projet de recherche en informatique théorique visant à simplifier et automatiser l'élimination de l'univalence dans les systèmes de types. Il permet de transformer des preuves complexes en calculs plus simples et plus efficaces, facilitant ainsi le développement de logiciels formellement vérifiés. Basé sur des concepts avancés de théorie des types, il s'adresse principalement aux chercheurs et développeurs en informatique fondamentale.