Explore projects

Course Introduction to scientific computing, Master 2 EFM. Website: https://master-efm.gricad-pages.univ-grenoble-alpes.fr/scientific-computing-m2-efm

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

Public dir for Thingsat

Repo part of the geoinquire project on referencing insar data with gnss

Check certificate chain

Neural Network Adequate hardWare Architectures for Quantization

Identitovigilance RGPD Echange et partage

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

Basic functions for OCaml codes

Yalep is a micro language based on Lean for teaching mathematical high-school proofs