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

Batsim C++ scheduling algorithms

Biocham-4 sources and CI

Dense linear algebra subroutines for heterogeneous and distributed architectures

The Coq library that accompanies the Menhir parser generator.

Deep learning for Hyperspectral imagery.

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

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.

Generate finite element matrices in python

Browsing Linked Data Catalogs

An LR(1) parser generator for OCaml.

Parallel Sparse direct Solver

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

Python Schedulers for Batsim

Quotient summary, version of March 2018

Test command-line applications through .should files

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.