Explore projects

View Scripts project

gricad / Cellule Data Grenoble Alpes / Scripts
GNU General Public License v3.0 or later

2

Updated May 16, 2025

2 0 0 0

Updated May 16, 2025
View jmmc-srv-infra project

OSUG / JMMC / jmmc-srv-infra
GNU General Public License v3.0 only

2

Updated Apr 17, 2025

2 0 0 2

Updated Apr 17, 2025
View ecoinfo_ANF project

Cyrille Bonamy / ecoinfo_ANF
Affero General Public License v1.0

2

Updated Apr 11, 2024

2 0 0

Updated Apr 11, 2024
View Wave QC project

OSUG / RESIF / Wave QC
GNU Affero General Public License v3.0

2

Updated Jun 11, 2025

2 0 2 16

Updated Jun 11, 2025
View CDC verif geom project

Robert Lim / CDC verif geom

2

Updated Mar 12, 2025

2 0 0 0

Updated Mar 12, 2025
View LabNBook-code project

LabNBook / LabNBook-code
GNU Affero General Public License v3.0

2

Updated Jun 13, 2025

2 1 3 187

Updated Jun 13, 2025
View rheolef project

rheolef / rheolef
GNU General Public License v3.0 only

2

Updated Apr 01, 2025

2 1 0 7

Updated Apr 01, 2025
View Sokoban project

projet / Sokoban

2

Updated Mar 27, 2023

2 1 0 0

Updated Mar 27, 2023
View xarrayuvecs project

MecaIceIGE / Tools / lib_python / xarrayuvecs
GNU General Public License v3.0 or later

Documentation

1

Updated Jun 14, 2023

1 0 0 0

Updated Jun 14, 2023
View Peda Univ project

inspe-sciedu / Peda Univ

Repo de documents sur la pédagogie universitaire

1

Updated Apr 18, 2025

1 0

Updated Apr 18, 2025
View DiscreteHawkes.jl project

Julien Chevallier / DiscreteHawkes.jl
MIT License

1

Updated Jul 04, 2024

1 0 0 0

Updated Jul 04, 2024
View summmo project

OSUG / RESIF / summmo

1

Updated Mar 29, 2023

1 0 0 0

Updated Mar 29, 2023
View Team project

GAIA / Team

Common resources + wiki + Gaia meetings

1

Updated May 06, 2025

1

Updated May 06, 2025
View CompCert-IntrinSec project

CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or later

1

Updated Jan 22, 2022

1 0 0 0

Updated Jan 22, 2022
View Template Kicad BE 1A Phelma - S1 project

Phelma / BE 1A / Template Kicad BE 1A Phelma - S1

1

Updated Jan 08, 2023

1 0 0 0

Updated Jan 08, 2023
View Chamois-CompCert project

CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 only

Verimag's fork of CompCert

Formally Ver... Ocaml Coq

1

Updated Feb 18, 2025

1 0 0 0

Updated Feb 18, 2025
View phitem-linux-vm project

phitem / phitem-linux-vm

Créateur de VM Ubuntu pour les étudiants de PhITEM

1

Updated Oct 18, 2023

1 0 0 0

Updated Oct 18, 2023
View rustre project

Projets-INFO4 / 22-23 / 26 / rustre
GNU General Public License v3.0 or later

Lustre compiler/runtime implemented in Rust

Compiler Lustre Verimag

1

Updated Jan 27, 2025

1 0 0 18

Updated Jan 27, 2025
View docker-pub project

kubernetes-alpes / docker-pub

1

Updated Mar 21, 2025

1 0 0 0

Updated Mar 21, 2025
View project-helpers project

Olivier Richard / project-helpers

1

Updated Mar 31, 2025

1 0 0 0

Updated Mar 31, 2025