Explore projects

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

DLS code used at LIPhy

Tutorial: Albert's example

Machine à tracer similaire à la célèbre tortue logo.

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

Program testing and verification

Nachos code for students

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

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

Advection-Diffusion-Lattice-Boltzmann-Method code, inherited from Hengdi Zhang, modified by Zhe Gou since 201910