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

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

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.

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

Givaro, a C++ library for computer algebra: exact arithmetic and data structures