Updated 10 months ago

Internship report's repository for my M2 internship

Updated 10 months ago

Various monitoring scripts for arch-sessions on mainbox

Updated 10 months ago

Bugreport minimal example for Doxygen v1.8.13

Updated 10 months ago

Updated 10 months ago

Match files recovered with photorec with files accessible.

Updated 5 months ago

Provide ways to send notifications to signal-cli through webhooks

Updated 1 month ago

A script analoguous to `mp3info`, but for flac files. This project **might** be more up-to-date on GitHub: https://github.com/tobast/flacinfo.

Updated 10 hours ago

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

Updated 10 months ago

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

Updated 10 months ago

Georges aime se balader.

Updated 4 months ago

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

Updated 10 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 10 months ago

Les Recettes de l'Arcoloc, pour le BOcal

Updated 10 months ago

Updated 10 months ago

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

Updated 10 months ago

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

Updated 10 months ago

Sonnette de l'Arcoloc

Updated 10 months ago

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

Updated 10 months ago

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

Updated 10 months ago