Explore projects
-
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 -
ScimBa / ScimBa
MIT LicenseUpdated -
HTTP Validator
Updated -
Updated
-
Updated
-
Updated
-
cartolabe / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
Updated
-
PTVR_Public / PTVR_Researchers
GNU General Public License v3.0 or laterPerception Toolbox for Virtual Reality (PTVR) Researchers Project
Updated -
Updated
-
pydisk / Networkdisk
BSD 3-Clause "New" or "Revised" LicenseUpdated -
CORSE / easytracker
Affero General Public License v1.0Updated -
Paul Berg / bedrock
GNU Affero General Public License v3.0UpdatedUpdated -
Flocq / flocq
OtherFlocq (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
-
Updated