Explore projects
-
Gazelle / Public / Framework / SSO Client V7
Apache License 2.0Client lib to contact Gazelle SSO (Keycloak).
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 -
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
-
-
This is a repository used to store the coverage report as a static webpage
Updated -
solverstack / test_FEMBEM
MIT LicenseA simple application for testing dense and sparse solvers with pseudo-FEM or pseudo-BEM matrices. Currently connected to : hmat, hmat-oss, chameleon, h-chameleon, hlibpro.
Updated -
CALLUAUD Abel Anas / test_FEMBEM
MIT LicenseA simple application for testing dense and sparse solvers with pseudo-FEM or pseudo-BEM matrices. Currently connected to : hmat, hmat-oss, chameleon, h-chameleon, hlibpro.
Updated -
OIDEli / OIDEli USENIX 2024 artifact
GNU Affero General Public License v3.0Updated -
Updated
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Gazelle / Public / Core / EVS Client
Apache License 2.0Front gateway to call validation-service.
Updated -
Updated
-
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
RUAS Olivier / in_situ_lppm
MIT LicenseUpdated