Bibliothèque Python dédiée à la résolution de problèmes complexes liés aux guides d'ondes élastiques. Elle permet d'analyser les propriétés de propagation des ondes dans des structures bidimensionnelles ou tridimensionnelles, homogènes ou inhomogènes, avec prise en compte des pertes viscoélastiques et des couches parfaitement adaptées (PML). Utilisée pour la modélisation numérique en géophysique et en évaluation non destructive.

Linkex est un outil permettant de découvrir des candidats de clés de liaison à partir de deux jeux de données RDF. Les clés de liaison généralisent la combinaison de clés et d'alignements d'ontologies pour l'interconnexion des données. Une clé de liaison est un ensemble de paires de propriétés qui identifient de manière unique les instances de deux classes de deux jeux de données RDF. Linkex peut extraire des candidats de clés de liaison et les évaluer en fonction de la discriminabilité et de la couverture. Il peut également les évaluer en fonction d'un ensemble de référence de liens donné en entrée. Il est capable d'extraire des candidats avec des propriétés composées et inversées.

Ce projet permet d'analyser et de comparer des graphes de connaissances sémantiques pour identifier des correspondances entre entités, propriétés ou types. Il facilite l'alignement d'ontologies en trouvant des équivalences entre ressources RDF, en évaluant des similarités sémantiques et en générant des chemins de propriétés optimaux. Idéal pour l'intégration de données hétérogènes ou la fusion d'ontologies.

Ce projet rassemble des analyses symboliques du protocole WireGuard à l'aide d'assistants de preuve comme Tamarin, ProVerif et Sapic+. Il vérifie des propriétés de sécurité telles que l'accord, le secret et l'anonymat, et propose des correctifs pour améliorer ces propriétés. Les résultats sont obtenus via des modèles formels et des évaluations automatisées.

Miniexpr est un langage d'expression minimaliste et réutilisable conçu pour être intégré dans des environnements GraalVM. Il permet d'évaluer des expressions arithmétiques, logiques et des opérations sur des vecteurs ou tableaux, tout en offrant la possibilité d'accéder à des propriétés d'objets dans un contexte d'exécution. Idéal pour des calculs dynamiques ou des règles métiers simples.

Outil dédié à la mesure et à l'analyse de la viscosité des fluides à l'aide de simulations numériques avancées. Permet aux industriels et chercheurs d'évaluer les propriétés rhéologiques des matériaux pour améliorer la conception des procédés ou des produits. Intègre des modèles mathématiques pour prédire le comportement des fluides dans des conditions variées.

P31 est une bibliothèque ou un outil dédié à l'analyse et à la manipulation d'arbres binaires. Il permet d'évaluer des propriétés structurelles comme l'équilibre, l'homogénéité ou la complétude, et propose des fonctions pour effectuer des recherches dichotomiques ou générer des sous-séquences. Idéal pour les applications nécessitant des opérations avancées sur des structures de données hiérarchiques.

Ce projet permet de simuler et d'analyser des jeux de type 'cops and robber' sur des graphes mathématiques. Il offre une interface pour visualiser les déplacements des joueurs, évaluer les stratégies de capture et étudier les propriétés des graphes sous-jacents. Idéal pour les chercheurs ou enseignants en mathématiques discrètes, il facilite l'exploration interactive des concepts de théorie des graphes et de jeux combinatoires.

Ce projet centralise des données et scripts dédiés aux simulations astrophysiques, notamment pour l'EPTA (European Pulsar Timing Array). Il fournit des ensembles de données de test incluant des propriétés de bruit pour 25 pulsars et des signaux d'ondes gravitationnelles de fond (GWB) issus de sources variées. Les fichiers générés permettent d'étudier les ondes gravitationnelles et d'évaluer des modèles astrophysiques.

Bibliothèque Python dédiée au calcul des propriétés thermodynamiques de l'eau pure et des solutions aqueuses. Elle permet d'évaluer des grandeurs comme la densité, la tension superficielle, la pression de vapeur ou encore l'activité de l'eau en fonction de la température et de la concentration. Utilisée dans des domaines scientifiques et industriels pour des applications variées, allant de la recherche académique à l'ingénierie.