Explore projects

MPFI is a library for arbitrary precision interval arithmetic; it is written in C and is based on MPFR.

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

PerCom2018 article and presentation: "Sprinker: a probabilistic dissemination protocol to provide fluid user interaction in multi-device ecosystems" (https://hal.inria.fr/hal-01704172v2)

Scripts for installing libraries on the nodes & auto-integration with conda.

MoReFEM core library.

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

The Gazelle GeoIP is a tool using Country / City database lookup per IP.

This is a re-implementation of the method introduced in the paper. J. Mairal. End-to-End Kernel Learning with Supervised Convolutional Kernel Networks. Adv. Neural Information Processing Systems (NIPS), 2016

MoReFEM core library.

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

Copy of the MMX code from the matlabcentral with some fixes added to it https://mathworks.com/matlabcentral/fileexchange/37515-mmx-multithreaded-matrix-operations-on-n-d-matrices

Python version for projet iReal. Include python server and computer vision algorithms in Pyhton

A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.

Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour

Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.

Wrap the TOM language SDK (http://tom.loria.fr) and its eclipse IDE integration

Wrap the external JGraphT (http://jgrapht.org) library and provide a generic graph model (IGraph) with adapter mechanism and dynamic dependency injection. IGraph implements a set of the most common graph operations.

This project assemble all components of GeCoS to provide a composite product, installer, p2 update site and target definitions

GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.