Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Vue d'ensemble des codes sources des composants de l'application 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
-
-
-
Note : La publication de l'intégralité du code source de l’application mobile sous Android fait apparaitre des écrans et des textes qui évolueront au cours des jours qui viennent, en amont de tout déploiement éventuel (cd accueil/ README.md)
-
Extensions of GNU Guix for high-performance computing.
-
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
-
Note : La publication de l'intégralité du code source de l’application mobile sous iOS fait apparaitre des écrans et des textes qui évolueront au cours des jours qui viennent, en amont de tout déploiement éventuel (voir accueil/README.md)
-
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.
-
A project providing digital recognition of handwritten documents using machine learning techniques.
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
Former repository for the DBL LaTeX thesis template. Moved to: https://gitlab.inria.fr/ed-mathstic/latex-template.
-
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
A library to build experimental frameworks on multiple platforms
-
-
DEPRECATED, MOVED TO GITHUB https://github.com/MLanguage/mlang
-
Parallel Sparse direct Solver
-
An LR(1) parser generator for OCaml.