Explore projects

https://sensibilia.gricad-pages.univ-grenoble-alpes.fr/glossaire-sensible-et-ecologie/

Public dir for Thingsat

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

Repo de TD sur le numérique éducatif

Repo de documents sur l'intégration du numérique dans l'enseignement

Julia Package to analyze the experimental data from the wall painting mural done with the Strad Robot.

Optimized hardware components for Xilinx 7-Series FPGAs

E-GRAFS is a Nitrogen flow model aiming at building social metabolism of agriculture territory using classic statistic

WS-Evalresp

URL : http://ws.resif.fr/resifws/evalresp/1/

Doc: https://wiki.osug.fr/!isterre-geodata/resif/systemes/services/webservices/resifws/evalresp

Scripts et configurations pour le déploiement d'un budcollector.

Service complet documenté ici : https://wiki.osug.fr/!isterre-geodata/resif/systemes/services/collecte_tqr_n%C5%93udb

Rigorously documented Julia implementation MMFE / RCWA.

XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/

A CEGAR-based solver for maximum model counting