Explore projects
-
-
-
-
A complete gitlab-ci pipeline example with a C++ project. Keywords: gitlabci, c++, cmake, static analysis, lint, sonarqube, pages, package, release, docker, macosx, windows, badges.
Updated -
gitlabci_gallery / documentation-pages / pages-jupyter
BSD 3-Clause "New" or "Revised" LicenseExample of generating an html documentation from a few jupyter notebooks.
Updated -
Updated
-
Updated
-
hh-pcmax / BLS code
BSD 3-Clause "New" or "Revised" LicenseCode for reproducibility of [1]
[1] Hakim Hadj-Djilani, Julien Bernard, Louis-Claude Canon, Laurent Philippe. Branching List Scheduling Algorithms for the Identical Parallel Machine Scheduling Problem. RR-FEMTO-ST-2919, FEMTO-ST. 2024. https://hal.science/hal-04564228
Updated -
MOSAIC / timagetk
GNU General Public License v3.0 or laterTissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.
Updated -
steep / TransKey
GNU General Public License v3.0 or laterUpdated -
ScimBa / ScimBa
MIT LicenseUpdated -
HTTP Validator
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
CoqInterval / interval
CeCILL-C Free Software License AgreementCoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
cartolabe / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
Gözükan Hande / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated