Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
- Git
- Ce projet est un dépôt de code source pour le cours UE LIFPF INF2030L Programmation Fonctionnelle du semestre 2024 Printemps. Il contient des diapositives, des sujets de TD, de TP et de CM, ainsi que des corrigés et des configurations pour les salles de TP. Les thèmes abordés dans ce cours sont le lambda-calcul, le langage de programmation OCaml, les structures de données récursives, les foncteurs, et l'ordre supérieur.
- Le projet archi-htmlreport-docker est un outil permettant de générer et d'exposer un site web HTML à partir d'un modèle ArchiMateTool, le tout dans un conteneur Docker. Il est utilisé en interne par l'Abes pour générer leur 'site web d'urbanisation' afin de connaître l'organisation de leur système d'information.
- Système d'orchestration de validation informatique (PCVS) conçu pour les logiciels à grande échelle. Il est principalement destiné aux applications et aux systèmes d'exploitation HPC, mais peut également être utilisé pour des cas d'utilisation plus petits. PCVS aide les utilisateurs à créer des scénarios de test et à les réutiliser parmi plusieurs implémentations, ce qui est particulièrement utile pour la validation de normes de programmation telles que les API et les ABI.
315 initiatives
10