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

Dense linear algebra subroutines for heterogeneous and distributed architectures

Parallel Sparse direct Solver

PIPER application

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

Alpha language includes the core language, its parser, and editor based on Xtext.

Flocq (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.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Public issues concerning allgo.inria.fr or allgo.irisa.fr

Towards a lightweight ParaView alternative.

A set of commonly used widgets written using Qt5.

Guix Jupyter kernel

Python wrappers for the dtk-core layer

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

Simple experimental campaign workflow

A library to build experimental frameworks on multiple platforms