Explore projects
-
Thierry Martinez / custom-runner-kvm-3-4
GNU Affero General Public License v3.0Updated -
-
cartolabe / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
gf2x / gf2x
GNU General Public License v3.0 onlyUpdated -
PAROL-GUARINO Volodia / enoslib
GNU General Public License v3.0 onlyA library to build experimental frameworks on multiple platforms
Updated -
PTVR_Public / PTVR_Developers
GNU General Public License v3.0 or laterPerception Toolbox for Virtual Reality (PTVR) Developers Project
Updated -
Updated
-
Updated
-
dynres / applications / p4est_dyn
GNU General Public License v3.0 or laterUpdated -
-
Updated
-
-
Provide build/deploy related scripts and configuration. It is used as submodules by other gecos projects.
Updated -
Updated
-
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Updated