Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
An LR(1) parser generator for OCaml.
-
Hampath environment
-
Hampath gallery
-
Hampath code
-
-
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
The OpenViBE extras: Acquisition Server, demos, plugin contributions
-
Regroupe toutes les ressources du Mooc : Fiches concept, fiches pédagogiques, ... https://learninglab.gitlabpages.inria.fr/mooc-impacts-num/mooc-impacts-num-ressources
-
a testing project for using dx to transform exam_rbpf in Coq to C
-
The meta repository for building OpenViBE
-
-
IMPACT - International Workshop on Polyhedral Compilation Techniques
-
Juptyter notebooks for use cases using solvers of the nutopy toolbox and bocop code
-
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
-
