GitLab

Vu d'ensemble des codes sources des composants de l'application StopCovid et leur documentation. Le code source de l’application mobile fait apparaître des écrans et des textes qui évolueront en amont de tout déploiement éventuel (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.

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)

A project providing digital recognition of handwritten documents using machine learning techniques.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

Phd thesis template for the UBL MathSTIC doctoral school:

https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Parallel Sparse direct Solver

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

A library to build experimental frameworks on multiple platforms

Sources of the Abstract Categorial Development toolkit.

Collection of CMake modules that can be shared among projects

Toolkit to manage sets of closed intervals.