Explore projects
-
casys / givaro
CeCILL-B Free Software License AgreementGivaro, a C++ library for computer algebra: exact arithmetic and data structures
Updated -
verimag / IF / IF Toolset
CeCILL-B Free Software License AgreementThe open source release of the IF Toolset
Updated -
Updated
-
Updated
-
16h-20h lecture notes on "Operating System and Parallel Computing: Concurrency; Scheduling; Memory.". (Work in progress)
Updated -
Updated
-
-
Vocadom / vocadom_catsdom
MIT LicenseThis is the repository of the final Vocadom system for real-time multisource robust spoken command understanding made during the the VOCADOM project founded by the French National Research Agency (Agence Nationale de la Recherche) / ANR-16-CE33-0006.
Updated -
Lecture notes + homeworks for the Scientific Methodology and Experimental Evaluation course.
Updated -
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
Updated
-
-
Updated
-
Un projet en C visant à remplacer la bibliothèque standard pour la gestion de la mémoire.
Updated -
Updated
-
Updated
-
tima / sls / projects / augh
GNU Affero General Public License v3.0Updated -
Updated
-
Updated