Generate finite element matrices in python

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

Dense linear algebra subroutines for heterogeneous and distributed architectures

Batsim C++ scheduling algorithms

Parallel Sparse direct Solver

Python Schedulers for Batsim

An LR(1) parser generator for OCaml.

Deep learning for Hyperspectral imagery.

PyTorch implementation of several state-of-the-art 3D CNN on multiple public hyperspectral datasets.

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

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.

Quotient summary, version of March 2018

Browsing Linked Data Catalogs

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

The Coq library that accompanies the Menhir parser generator.

Biocham-4 sources and CI

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives