DarkPACK est une bibliothèque logicielle dédiée à la simulation et à l'analyse de modèles physiques avancés, notamment en physique des particules et en cosmologie. Elle permet de calculer des masses de particules, des sections efficaces, des largeurs de désintégration et des densités reliques, en s'appuyant sur le framework MARTY. Elle est utilisée pour étudier des scénarios théoriques comme la matière noire ou les extensions du Modèle Standard.

Ce projet académique développe des implémentations concrètes de machines de Turing, des outils théoriques fondamentaux en informatique. Il permet de modéliser, simuler et visualiser le fonctionnement de machines de Turing classiques ou avancées (multi-bandes, universelles). Les constructions réalisées, comme l'émulation d'alphabets n-symboles par un alphabet binaire ou la machine universelle, offrent des bases pour l'étude des calculs théoriques et des algorithmes.

Bibliothèque logicielle dédiée à la manipulation et à l'analyse d'ensembles mathématiques. Elle permet de créer, modifier et interroger des ensembles, ainsi que de générer des éléments aléatoires issus de ces ensembles. Utilisée pour des calculs théoriques ou des simulations nécessitant des opérations ensemblistes.

PASO est un outil dédié à l'orbitographie planétaire et satellitaire. Il permet de modéliser et calculer les trajectoires des corps célestes ainsi que des satellites artificiels. Le projet intègre des méthodes numériques avancées pour simuler les mouvements orbitaux et générer des séries de données précises. Il est également utilisé pour évaluer les écarts entre les modèles théoriques et les observations réelles, facilitant ainsi l'ajustement des paramètres orbitaux.

Projet académique visant à implémenter et simuler des constructions théoriques de machines de Turing. Il permet d'émuler des machines fonctionnant sur des alphabets à n symboles avec une machine binaire, de visualiser des graphes de flux de contrôle, et de simuler des machines à bandes multiples. Les exemples incluent des calculs comme le castor affairé ou des opérations logiques comme le XOR.

LLG3D est un solveur de l'équation de Landau-Lifshitz-Gilbert stochastique en 3D, écrit en Python et utilisant la bibliothèque MPI pour paralléliser les calculs. Il permet la simulation de la dynamique de spin magnétique et sert à l'étude de la magnétoélectronique dans le cadre de la recherche en physique théorique des matériaux magnétiques.