diff --git a/cspell.json b/cspell.json index 483998d..eb342c5 100644 --- a/cspell.json +++ b/cspell.json @@ -226,7 +226,9 @@ "lisn", "upsaclay", "ISAE", - "SUPAERO" + "SUPAERO", + "GGOLIN", + "Smilei" ], // flagWords - list of words to be always considered incorrect // This is useful for offensive words and common spelling errors. diff --git a/etatdeslieux.md b/etatdeslieux.md index 50366f7..e0e8bbb 100644 --- a/etatdeslieux.md +++ b/etatdeslieux.md @@ -142,7 +142,9 @@ situation est aussi proposée. La plupart des logiciels libres issus de l’Enseignement supérieur et de la Recherche et désireux d'interaction avec la société utilisent une solution d'hébergement commerciale ouverte à tous, comme `github.com`, `gitlab.com` ou `sourceforge.net` [@githubinpublications]. Il suffit de regarder les dépôts où sont hébergés les logiciels -récompensés lors du premier prix science ouverte du logiciel libre pour s'en convaincre : +récompensés lors du prix science ouverte du logiciel libre pour s'en convaincre : + +Première édition (2022) : - Coq : https://github.com/coq/coq - Coriolis : https://gitlab.lip6.fr/vlsi-eda/coriolis @@ -155,6 +157,17 @@ récompensés lors du premier prix science ouverte du logiciel libre pour s'en c - SPPAS : https://sourceforge.net/projects/sppas/ - Gama : https://github.com/gama-platform/gama +Seconde édition (2023) : + +- Brian simulator : https://github.com/brian-team/brian2 +- Fink : https://github.com/astrolabsoftware +- Hyphe : https://github.com/medialab/hyphe +- KeOps : https://github.com/getkeops/keops +- NoiseCapture : https://github.com/Universite-Gustave-Eiffel/NoiseCapture/ +- OCaml : https://github.com/ocaml/ocaml +- PPanGGOLIN : https://github.com/labgem/PPanGGOLiN/ +- Smilei : https://github.com/SmileiPIC/Smilei + La plateforme [code.gouv.fr](https://code.gouv.fr/#/repos) référence, au 11 février 2023, 9818 dépôts relevant de l’Enseignement supérieur et de la Recherche. **29 %** de ces dépôts (2627) sont hébergés sur GitHub. Seulement 30 dépôts sont hébergés sur gitlab.com. Les autres solutions commerciales ne sont pas encore comptabilisées. La plateforme [Software Heritage](https://archive.softwareheritage.org) permet d'avoir une idée du nombre de projets publics globaux trouvés sur les forges commerciales : 156 M pour GitHub, 4 M pour GitLab, 2 M pour Bitbucket, pour les plus utilisées début février 2023. On note que GitHub contient bien plus de projets publics que les autres forges.