Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
-
Topics: ocean
-
Code source de l'application mobile Android
-
Extensions of GNU Guix for high-performance computing.
-
MRF (Malia Rendering Framework) is an open source library for predictive, physically-realistic rendering.
It comes with several applications, including a spectral path tracer, RGB-to-spectral conversion routines.
-
-
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
Code source de l'application mobile iOS
-
A library to build experimental frameworks on multiple platforms
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
-
A project providing digital recognition of handwritten documents using machine learning techniques.
-
An LR(1) parser generator for OCaml.
-
Former repository for the DBL LaTeX thesis template. Moved to: https://gitlab.inria.fr/ed-mathstic/latex-template.
-
Unofficial Inria beamer template
-
Parallel Sparse direct Solver
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/