Ce projet est une implémentation d'un cas quasi incompressible de la mécanique des milieux continus, en utilisant des hypothèses spécifiques telles qu'un schéma de temps à mi-point et une loi hyperélastique de CiarletGeymonat. Il a été testé avec succès avec MoReFEM v19.47.

Ce projet est une chaîne simple de traitement d'images qui détecte le mouvement entre deux images consécutives. Les objets en mouvement sont ensuite suivis dans le temps. Deux hypothèses fortes sont faites : la caméra est fixe et l'intensité lumineuse est constante dans le temps.

Le projet api-event-enrichissement est responsable de l'enrichissement de données provenant d'événements, en se basant sur des critères et des hypothèses prédéfinis. Il prend en charge deux types d'événements : les équipements physiques et la messagerie.

Le projet atom-dedukti est un éditeur de texte pour Atom dédié à la manipulation et à la vérification de preuves formelles dans le contexte de la déduction. Il permet de gérer des goals et hypothèses, de les lier entre elles et de les visualiser clairement. Il offre également des fonctionnalités de navigation dans les fichiers de déduction à l'aide de raccourcis clavier.

Ce projet contient les programmes permettant de produire la documentation du modèle Autonomix volet domicile, dans sa version "OpenATNMX 1.0" diffusée en décembre 2021. La documentation est fournie sous forme de page web et contient le détail des hypothèses faites pendant la construction du modèle, ainsi que des consignes d'installation.

Le projet dossiersco.fr est une plateforme dédiée à la documentation, aux actualités, aux hypothèses et aux décisions de l'entreprise DossierSCO. Il s'agit d'un site généré à l'aide de Jekyll, proposant du contenu informatif et contributif pour les utilisateurs intéressés par les activités de l'entreprise.

Exo-REM est un modèle d'équilibre radiatif 1D initialement développé pour la simulation de jeunes planètes gazeuses éloignées de leur étoile et de naines brunes. Les flux sont calculés en utilisant l'approximation des deux flux sous une hypothèse de fermeture hémisphérique. L'équilibre radiatif-convectif est résolu en supposant que le flux net (radiatif + convectif) est conservateur. La conservation du flux sur la grille de pression est résolue de manière itérative en utilisant une méthode d'inversion linéaire contrainte. La diffusion de Rayleigh ainsi que l'absorption et la diffusion par les nuages (calculées à partir des coefficients d'extinction, de l'albédo de diffusion unique et du facteur d'asymétrie interpolés à partir de tables précalculées pour un ensemble de longueurs d'onde et de rayons de particules) sont également prises en compte.

Le projet GA est une application dédiée à la génération d'analyses et de simulations financières pour les politiques publiques. Il permet de calculer les impacts des dépenses et des recettes publiques sur les générations futures, en prenant en compte les engagements financiers actuels et les hypothèses économiques.

Ce projet est une chaîne de traitement d'images simples qui détecte le mouvement entre deux images consécutives. Les objets en mouvement sont ensuite suivis dans le temps. Deux hypothèses fortes sont faites : la caméra est fixe et l'intensité lumineuse est constante dans le temps.

PARAD (Performance Analysis Repository for Aadl Designs) est un framework en développement à LIAS, ENSMA. Il présente une nouvelle approche collaborative du problème de trouver des tests appropriés pour une conception de système, dirigée par l'expérience des concepteurs. L'approche consiste en la construction d'un dépôt d'analyse qui capitalise les efforts des analystes. Les analystes décrivent leurs analyses et les hypothèses accompagnatrices à l'aide des concepts de PARAD.