Mentions légales du service
The web interface for searching grew patterns in corpora
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Simulation of HPD actors
a scalable collaborative document editor with CRDT, P2P and E2EE · mute.loria.fr
ProVerif symbolic protocol verifier
Miscellaneous files for the GNU MPFR group: web site, etc.
The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
PKI to share x.509 test certificates, simulation of ATNA and XUA actors, validation service of ATNA messages and XUA assertions.
An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model