Explore projects
-
Updated
-
Ce dossier contient tous les supports liés au cours IAS (L3, Introduction à l'Apprentissage Statistique)
Updated -
sed-rennes / sharelatex / python-sharelatex
GNU General Public License v3.0 onlypython client for sharelatex and a tool to manage a project between git and the web UI.
Updated -
FELiScE / FELiScE
OtherFELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
ALI Olivier / dxtr
GNU General Public License v3.0 or laterDiscrete Exterior Calculus library in Python mostly targeted toward multicellular tissue modeling.
documentation: https://oali.gitlabpages.inria.fr/dxtr/
Updated -
guix-hpc / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
-
Updated
-
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
SEBIA Hana / Ddpm fUS
MIT LicenseUpdated -
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
BODIN Martin / logic-osm
CeCILL-C Free Software License AgreementUpdated -
Gazelle / Public / Core / EVS Client
Apache License 2.0Front gateway to call validation-service. (EVSClient)
Updated -
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
-
Updated