Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
citi-lab / sytare
SYsTème embArqué faible consommation à mémoiRE persistante
1updated -
0updated
-
Why3 / why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
0updated
-
solverstack / PaStiX
Parallel Sparse direct Solver
-
The Openvibe Group / extras
The OpenViBE extras: Acquisition Server, demos, plugin contributions
1updated -
moex / linkex
Linkex is a tool that extracts candidate link keys from two data sources in RDF.
0updated -
0updated
-
The Openvibe Group / meta
The meta repository for building OpenViBE
1updated -
0updated
-
Lifeware / biocham
Biocham-4 sources and CI
-
synalp / website
Website of the Synalp research team of LORIA laboratory
-
0updated
-
POTTIER Francois / menhir
An LR(1) parser generator for OCaml.
4updated -
SILVA RINCON Santiago Smith / fs-processing-db
Pipeline for processing the most common databases in neuroimaging.
0updated -
LASHERMES Ronan / HAPEI
Companion repository for our paper: Hardware-Assisted Program Execution Integrity: HAPEI
0updated -
belenios / belenios
Verifiable online voting system
-
dtk / dtk
dtk is a meta-platform for modular scientific platform development.
2updated
