Updated 9 months ago

Internship report's repository for my M2 internship

Updated 9 months ago

Various monitoring scripts for arch-sessions on mainbox

Updated 9 months ago

Bugreport minimal example for Doxygen v1.8.13

Updated 9 months ago

Updated 9 months ago

Implementation (or at least attempts) of problems/algorithms seen during the Hello Barcelona bootcamp 2017

Updated 9 months ago

Projet de cours Coq (2.7.1) du MPRI — WP.

Updated 9 months ago

Fork of http://positon.org/bizou/

Updated 9 months ago

MPRI Functional Programming project, whose subject can be found [here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)

Updated 9 months ago

Les Recettes de l'Arcoloc, pour le BOcal

Updated 9 months ago

Updated 9 months ago

Testing setup for eh_frame_check, available at https://github.com/francesco-zappa-nardelli/eh_frame_check/

Updated 9 months ago

Dwarf-to-computer interpret library, built on the top of libdwarfpp.

Updated 9 months ago

Sonnette de l'Arcoloc

Updated 9 months ago

Work on the top of "frame machine" by Stephen Kell

Updated 9 months ago

An old project of mine — a command-line client for https://pastebin.com/. I don't recommend using it anymore.

Updated 9 months ago

Simple flask "website" reproducing nginx `autoindex` mode, with more options. Among others, include the possibility to generate a .tar file of a directory on the fly.

Updated 9 months ago

Some experiments around compiling the most used Dwarf information (ELF debug data) directly into assembly.

Updated 9 months ago

Updated 9 months ago

Tools to generate a bundle of everything that is needed to demo the project and roughly install it.

Updated 9 months ago