Explore projects
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
Exa-Atow / Alumet
European Union Public License 1.2Updated -
Proxy-based Small inversions / Types 2025 artifact
CeCILL-B Free Software License AgreementUpdated -
Updated
-
verimag / synchrone / tools-distrib
The UnlicenseUpdated -
verimag / synchrone / rdbg
CeCILL Free Software License Agreement v2.1RDBG 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).
Updated -
extrem-gs / school-num
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Repository for the course "Advanced Numerical Methods" of the TMA Master (Turbulence, Methods and Applications) at UGA. Website: https://master-tma.gricad-pages.univ-grenoble-alpes.fr/num-methods-turb
Updated -
Updated
-
Outils dédiés à la gestion des publications à l'OSUG
"En developppement"
Updated -
Updated
-
Morad Laglil / uni2ts
Apache License 2.0Updated -
Drakkar-LIG / ipmt
CeCILL Free Software License Agreement v2.0Internet 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.
Updated -
Updated
-
-
Machine Learning to predict location of ice recrystallization
UGA and IGE internship - M1 SSD
Report link: https://mecaiceige.gricad-pages.univ-grenoble-alpes.fr/internship/stage_renan_manceaux_2022
Updated -
legi / soft / trokata / oberapk
GNU General Public License v2.0 or laterAutomated Debian packages download, modification and upload to a local Reprepro repository
Updated -
Updated