Explore projects
-
Updated
-
Pallas / Benchmarks / AMG
GNU Lesser General Public License v2.1 onlyUpdated -
DAVID Jean-Francois / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
KDBENCH / PX4-RT
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
XIA Li-Yao / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
SHIN Sungbok / parcoursvis
BSD 2-Clause "Simplified" LicenseVisualization for CNAM Parcours de Santé.
Updated -
DAVOLI Davide / Comprehensive Kernel Safety in the Spectre Era
Apache License 2.0Updated -
Updated
-
Updated
-
APAC / BOTS
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
Updated
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated