Explore projects

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

Tutorial: Albert's example

Update Camitk Extension Project description .ced

This CEP contains libraries to convert CamiTK objects in CepCoreSchema objects.

Aquaponie est la pratique d’agriculture associant dans un même milieu la culture de végétaux et l’élevage de poissons en symbiose

Nachos code for students

This repository contains all source files, published documents, and example programs for Siconos software.

Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.