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

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Fork de https://github.com/Inria-Asclepios/medInria-public

Towards a lightweight ParaView alternative.

Biocham-4 sources and CI

A framework to build experimental frameworks on various platforms

A set of commonly used widgets written using Qt5.

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.

A project providing digital recognition of handwritten documents using machine learning techniques.

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

Metagrammar of Middle and Old French

Dense linear algebra subroutines for heterogeneous and distributed architectures

A GUI for biseau

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.