Explore projects
-
gitlabci_gallery / presentation
BSD 3-Clause "New" or "Revised" LicenseSome slides about the gitlabci gallery project
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 -
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Gabarits / LaTeX beamer 2024
BSD 3-Clause "New" or "Revised" LicenseGabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
scotch / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
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 / easytracker
Affero General Public License v1.0Updated -
-
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 -
Updated
-
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
Project moved to https://gitlab.com/ed-matisse/latex-template.
Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.
Archived 3Updated -
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
memcad / memcad
GNU General Public License v3.0 onlyUpdated -
-
Formations / Docker / HandsOnDocker
Apache License 2.0An introduction level training course on Docker and Docker-compose.
Updated -
-
CORSE / IOLB
CeCILL Free Software License Agreement v2.1IOLB tool that computes data movement complexity of an affine program
Updated -
A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.
Updated -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated