Explore projects
-
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
-
Gazelle / Public / Simulation / XDStar Modules
Apache License 2.0Updated -
AL QABBANI Muhammad / NaviDEC
GNU General Public License v3.0 or laterUpdated -
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Updated
-
Updated
-
pirat-public / URSID
GNU Affero General Public License v3.0Updated -
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
Updated
-
KATIM Anas / sparqlprov-demo
Apache License 2.0Updated -
discovery / cheops
GNU Affero General Public License v3.0Generic service to manage geo-distributed resources
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 -
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 -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Updated
-
Website with:
the list of group meetings names of members resources for students (summer schools, conferences, scholarships)Updated