Explore projects
-
-
Updated
-
FELiScE / FELiScE
OtherFELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
-
EYRAUD-DUBOIS Lionel / pmtool
GNU General Public License v3.0 onlyPost-mortem analysis tool for StarPU scheduling studies
Updated -
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
-
BAUCHER Achille / pydynamo
The UnlicenseUpdated -
CORSE / easytracker
Affero General Public License v1.0Updated -
discovery / enos-kubernetes
GNU General Public License v3.0 onlyUpdated -
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 -
REINKE Chris / Experiment Utils
GNU General Public License v3.0 or laterVarious tools to run scientific computer experiments.
Updated -
OBSOLETE_Fed-BioMed / OBSOLETE_Fed-BioMed
Apache License 2.0Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed
A federated learning framework for empowering biomedical research
Updated -
Collection of CMake modules that can be shared among projects
Updated -
Updated
-
Updated
-
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated -
Toolkit to manage sets of closed intervals.
Updated -
learninglab / mooc-styleguide
MIT LicenseUpdated