Explore projects
-
Examples 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 -
-
Updated
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.
Updated -
-
-
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Updated
-