Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
-
-
Tapenade Automatic Differentiation Engine
-
Application running SPANK on Zephyr with DW1000 chip
-
-
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
-
OpenGL (legacy) tools to display live data in C++
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
-
-
-
-
Slides and Labs for the course Machine Learning and Computer Vision in MIAGE Master 2
-
SParse Matrix Package
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
-
-
INF555 repo
-
