Explore projects

Common website of the SED BSO team

Verifiable online voting system http://www.belenios.org

The web interface for searching grew patterns in corpora

Provide the gnomon core functionalities.

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Auctus website https://auctus-team.gitlabpages.inria.fr/

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Various tools for Gazelle TM (& EVS) [gazelle-tm-tools].

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).

Suite of utilities [gazelle-tools]

ConnectionStudio integrates highly heterogeneous data into graphs, enriched with extracted entities. Studio users can discover the entities in their data, navigate across connections between datasets, explore and query the data in many ways. The Studio currently supports: CSV, JSON, XML, RDF, text, property graphs, all Office formats, and PDF datasets.

For more information, see: https://connectionstudio.inria.fr

The scientific publications behind the platform: https://team.inria.fr/cedar/connectionlens/

Headwork project