Explore projects
-
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
-
Julien Wintz / vscodex
MIT LicenseUpdated -
l1p5 / l1p5-vuejs
GNU General Public License v3.0 or laterUpdated -
pydisk / examples / vizitig
BSD 3-Clause "New" or "Revised" LicenseUpdated -
grid5000 / Resources Explorer
GNU General Public License v3.0 or laterExplore resources from Inria's MC. https://grid5000.gitlabpages.inria.fr/resources-explorer
Updated -
poseidon / poseidon-www
MIT LicenseUpdated -
Updated
-
learninglab / epoc / epoc-editor
CeCILL-B Free Software License AgreementUpdated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Updated
-
mathexp / Séminaire commun
BSD 2-Clause "Simplified" LicenseUpdated -
Updated -
-
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Expression / Tools / FlexEval
CeCILL-C Free Software License AgreementFlexible Perceptual Evaluation platform
Updated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
tansiv / python-tansiv
GNU General Public License v3.0 onlyUpdated