Explore projects

Unofficial Inria beamer template

This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.

A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.

Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.

Teaching material for an industrial audience

Guix Jupyter kernel

An introduction level training course on Docker and Docker-compose.

Itauto: an Extensible Intuitionistic SAT Solver

Sources of the Abstract Categorial Development toolkit.

Kavlan-API is a Grid5000 service which provides the KavlanNG API. KavlanNG is a rewrite, almost from scratch, from the previous Kavlan service, which offers physical 802.1Q VLANs provisioning on Grid5000, and switching of nodes interfaces to these VLANs. KavlanNG is built on top of Openstack Neutron. Kavlan-API is a middleware between Grid5000 users and the underlying Openstack Neutron instance.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

Test learning algorithms in python after encoding using rust backed entropy coder.

initially called genbenchs

An alternative approach for finite fields embeddings