Explore projects
-
Updated
-
Elan Littératures et Arts Numériques / polygrenaille
GNU General Public License v3.0 or laterÉdition numérique des œuvres morales de François de Grenaille https://elan.gricad-pages.univ-grenoble-alpes.fr/polygrenaille/
Updated -
Mathdoc / ptfs / ptf-site-traduction
GNU Affero General Public License v3.0Updated -
Mathdoc / ptfs / ptf-site-ahl
GNU Affero General Public License v3.0Updated -
Updated
-
-
Démonstration Publique d'une utilisation mixte de Jupyter + Caseine (Moodle/Vpl)
Updated -
Simple (public) Arm JupyterLab (Démo, pour être utilisé avec Binder)
Updated -
Updated
-
-
Maxence Larrieu / UGA Open Research Data Monitor backend
GNU General Public License v3.0 or laterA monitor on open research data produced by Grenoble Alpes University
Updated -
Updated
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
Storing custom guix manifests to use with guix pack command
Updated -
OSUG / RESIF / SeedPSD
GNU General Public License v3.0 onlyVersion en cours de développement du WS-PPSD
Updated -
Tools facilitating the manipulation and loading of data from different sources and different domains.
Updated -
Mathdoc / ptfs / ptf-site-mesh
GNU Affero General Public License v3.0Updated -
Yalep / Yalep
GNU General Public License v3.0 or laterYalep is a micro language based on Lean for teaching mathematical high-school proofs
Updated -
Updated
-
Updated
