Explore projects
-
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 -
gitlabci_gallery / presentation
BSD 3-Clause "New" or "Revised" LicenseSome slides about the gitlabci gallery project
Updated -
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
scotch / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
-
CORSE / easytracker
Affero General Public License v1.0Updated -
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
CORSE / IOLB
CeCILL Free Software License Agreement v2.1IOLB tool that computes data movement complexity of an affine program
Updated -
-
GAUTRON Romain / gym_dssat_pdi_project
BSD 3-Clause "New" or "Revised" LicenseAn OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
Updated -
Formations / Docker / HandsOnDocker
Apache License 2.0An introduction level training course on Docker and Docker-compose.
Updated -
Updated
-
memcad / memcad
GNU General Public License v3.0 onlyUpdated -
-
-
Convenient facilities to compile the third party libraries required by MoReFEM (either script or Dockerfiles might be used for that purpose).
Updated -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.
Updated