Explore projects

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Here the repository to provided a board to connect a Linky to LoraWan

LaTeX templates used for scientific publications (slides, poster) at GIPSA-Lab

Transform mesoNH net4CDF files into VTK files

Notebook to plot vertical and z-level constant slices from MesoNH net4CDF data

Repo décrivant le projet ReflexPro

Le «Guide» d'introduction à UNIX: livre PDF et site web pour les TP d''introduction à l'environnement de travail sous UNIX de l'Ensimag.

Quick Exploration using Chisel Estimators

Benchmark of chisel based kernels for FPGA

Internet protocols measurement tools

Ipmt is a toolbox for network performance measurement. It allows to send and receive TCP or UDP traffic. Receivers compute and display statistics continuously.

Projet à cloner pour les étudiants réalisant le TP allocation mémoire

Visualisation of insar data.

Teaching material for simulating the behavior of a set of households involved in a community and trying to increase their self-consumption and their self-sufficiency

SINGE is a solver for Spherical INertia-Gravity Eigenmodes, written in Python

Repo de documents généraux sur les sciences de l'éducation (Inspé-UGA)