Explore projects
-
UpdatedUpdated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
A small mediawiki extension to have a variable to know if the user is connected or not.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Quelques scripts shell/bash (+config) pour l'administration d'un serveur pédagogique.
Pour la doc, voir README.md et le wiki
Updated -
Updated
-
-
Updated
-
Source for the full article "The specificities of encoding encyclopedias: towards a new standard ?" presented at ICHLL11 in June 2021.
Updated -
Updated
-