Explore projects
-
-
cours de programmation objet INALCO - Master TAL première année
Updated -
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.
Updated -
Updated
-
-
-
-
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Updated
-
-
-
-
ESP32 firmware providing a REST API for controlling the brachistochrone science outreach setup.
Updated -
ESP32 firmware providing a REST API for controlling the galileo science outreach setup
Updated