Explore projects
-
Geomerix / public / mfs-chol
GNU General Public License v3.0 or laterUpdated -
Thierry Martinez / custom-runner-kvm-3-4
GNU Affero General Public License v3.0Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
gitlabci_gallery / dashboards / benchmarking
BSD 3-Clause "New" or "Revised" LicenseExamples of: performance tests, how to save results in the course of time, monitor key metrics performances with figures, charts etc, and detect regressions. Keywords: performance profiling, non-regression testing, cdash, reframe, jube, sqlite, elasticsearch, kibana, pages.
Updated -
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Updated
-
Ocan Sankur / smt-switch
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
BAZOUZI Aymen / ConstrucTED
MIT LicenseUpdated -
Updated
-
dynres / applications / Dyn_XBraid
GNU General Public License v3.0 or laterUpdated