Explore projects
-
pequan / cadna / cadnaizer
GNU General Public License v3.0 onlyAutomatic transformation of C source codes for usage with Cadna
Updated -
Alexis Baudin / CPM - CPMZ
MIT LicenseUpdated -
-
Alexis Baudin / bbk
MIT LicenseUpdated -
pequan / cadna / cadtrace
GNU General Public License v3.0 onlyAutomatic identification of instructions responsible for numerical instabilities in a source code
Updated -
Updated
-
-
Charles Bouillaguet / HPC
The UnlicenseUpdated -
Thibault Hilaire / AffApy
GNU General Public License v3.0 or laterA python library for multiprecision Affine Arithmetic
Updated -
Updated
-
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
UpdatedUpdated
-
Updated
-
RankMerging version in C++ as coded by Dan Timsit in 2024.
Updated -
Updated
-
Updated
-
Theo Archambault / visapp2023
MIT LicenseUpdated -
Georgii Melidi / Robust-Tree
MIT LicenseUpdated
