Mentions légales du service
Portage en Python3 à partir de Vensim du modèle World3-2003 (révision de 2005).
Simulation code related to paper "Exploring the Impacts of Workload Characterizations on Mapping Strategies"
Commands managing the whole process
Repository for message passing based NNs over Wordnet
Display (tiled) images on Cluster-Driven Ultra-high-resolution Wall Displays
Web-based map visualization on cluster-driven UHRWD.
Generating Questions from Wikidata Triples
WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Web site of the Guix-HPC effort.