Explore projects

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.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

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.