python client for sharelatex and a tool to manage a project between git and the web UI.

A python client for distem (http://distem.gforge.inria.fr/)

Hardware split of MPI communicators

Compiler for the M language of the French DGFiP

bibtex-sw-entry

TRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation

This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us

Ocsigen based web-server for interaction with Arborator

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

Library to parse PDB in rust

A library to build experimental frameworks on various platforms

Simple experimental campaign workflow

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

Spack package to install Pufferbench

Guix Jupyter kernel

Towards a lightweight ParaView alternative.

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

MoReFEM core library.

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

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.