Explore projects
-
gitlabci_gallery / presentation
BSD 3-Clause "New" or "Revised" LicenseSome slides about the gitlabci gallery project
Updated -
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Updated
-
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
-
RobotLearn / RobotLearn Cluster Monitor
GNU Affero General Public License v3.0Updated -
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 -
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Topics: Mooc resourcesUpdated -
Formations / Docker / HandsOnDocker
Apache License 2.0An introduction level training course on Docker and Docker-compose.
Updated -
discovery / cheops
GNU Affero General Public License v3.0Generic service to manage geo-distributed resources
Updated -
Updated
-
Loki / PolyphonyECS
OtherAn experimental GUI programming toolkit based on the Entity-Component-System (ECS) model
Updated -
learninglab / mooc-styleguide
MIT LicenseUpdated -
-
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
COAST / Multi User Text Editor / Mute
GNU Affero General Public License v3.0a scalable collaborative document editor with CRDT, P2P and E2EE · mute.loria.fr
Updated -
cartolabe / cartolabe-vis
BSD 3-Clause "New" or "Revised" LicenseWeb-based scalable visualization fo large document collections
Updated -
ConnectionLens ingests heterogeneous data sources (JSON, XML, HTML, CSV, RDF, relational databases, text files, PDF) into a single, integrated graph. It stores these graphs and allows querying them using keywords, and connecting them through a GUI.
Updated