Explore projects
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
-
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
-
Updated
-
Updated
-
Project moved to https://gitlab.com/ed-matisse/latex-template.
Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.
Archived 4Updated -
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
-
-
An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
Updated -
An introduction level training course on Docker and Docker-compose.
Updated -
Updated
-
Updated
-
-
-
Convenient facilities to compile the third party libraries required by MoReFEM (either script or Dockerfiles might be used for that purpose).
Updated -