Explore projects

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 seedpsd-k8s project

OSUG / RESIF / seedpsd-k8s

2

Updated Mar 27, 2025

2 0 0 0

Updated Mar 27, 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 ptf project

Mathdoc / ptf
GNU Affero General Public License v3.0

Plateforme et sites mathdoc

2

Updated Nov 18, 2024

2 0

Updated Nov 18, 2024
View iVPL project

projet / iVPL

Backend extending the capabilities of the VPL Moodle module

2

Updated Jul 01, 2025

2 0 0 0

Updated Jul 01, 2025
View engine project

OSUG / RESIF / DC2 / metadata / engine
GNU Affero General Public License v3.0

Résif-DC2 : Metadata ingestion/distribution engine

2

Updated Oct 09, 2024

2 0 0 8

Updated Oct 09, 2024
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 CDC verif geom project

Robert Lim / CDC verif geom

2

Updated Mar 12, 2025

2 0 0 0

Updated Mar 12, 2025
View mia project

verimag / synchrone / mia
CeCILL Free Software License Agreement v2.1

2

Updated Jul 17, 2025

2 0 1 1

Updated Jul 17, 2025
View LabNBook-code project

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

2

Updated Aug 01, 2025

2 1 3 189

Updated Aug 01, 2025
View Wave QC project

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

2

Updated Jul 23, 2025

2 0 2 16

Updated Jul 23, 2025
View Yalep project

Yalep / Yalep
GNU General Public License v3.0 or later

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

2

Updated Jul 29, 2025

2 0

Updated Jul 29, 2025
View Model Data project

ON-DEM / Model Data

2

Updated Jun 24, 2025

2 0 1 3

Updated Jun 24, 2025
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 ljk-guix-channel project

scalde-contrib / ljk-guix-channel

guix channel for ljk packages (test purpose)

1

Updated May 16, 2023

1 0 0 0

Updated May 16, 2023
View project-helpers project

Olivier Richard / project-helpers

1

Updated Mar 31, 2025

1 0 0 0

Updated Mar 31, 2025
View fiche de mesure LaTeX project

Phelma / BE 1A / fiche de mesure LaTeX

1

Updated Oct 22, 2021

1 0 0 0

Updated Oct 22, 2021
View summmo project

OSUG / RESIF / summmo

1

Updated Mar 29, 2023

1 0 0 0

Updated Mar 29, 2023
View project-portfolios project

isterre-dynamic-modeling / project-portfolios

1

Updated Jun 23, 2025

1 0 0 24

Updated Jun 23, 2025
View resif-wfcatalog project

OSUG / RESIF / resif-wfcatalog

Packaging Résif du WFCatalog

1

Updated Mar 14, 2025

1 0 0 0

Updated Mar 14, 2025