Explore projects
-
l1p5 / l1p5-vuejs
GNU General Public License v3.0 or laterUpdated -
Updated
-
allgo / allgo
GNU Affero General Public License v3.0Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
MASSON Arthur / BioImageIT
BSD 4-Clause "Original" or "Old" LicenseUpdated -
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
Updated
-
Gazelle / Public / Validation / HL7v2 Validator
Apache License 2.0Validation service for HL7v2 and HL7v3 messages.
Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Gazelle / Public / Simulation / HL7 Common
Apache License 2.0Updated -
Resources for course MPRI 2-4 on functional programming and type systems.
Updated -
-
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
Updated
-
Updated
-
Updated
-
-
Updated