Explore projects
-
Updated
-
Updated
-
-
Paul Geneau de Lamarlière / TPTP-ANTLR4-Grammar
BSD 3-Clause "New" or "Revised" LicenseUpdated -
aleber02 / CAP
GNU General Public License v3.0 or laterUpdated -
M1 internship, continuation of https://gitlab.inria.fr/oruas/SamplingKNN
Updated -
Les notes faîtes pendant mon stage en 2022, au LACL à Créteil
Updated -
ulysse durand / caplab
GNU General Public License v3.0 or laterUpdated -
Bureau AliENS / overleaf
GNU Affero General Public License v3.0This repository creates a docker image based on a fork of overleaf.
It adds support for an OpenID based authentication, which can be used for instance with KeyCloak.
Updated