Updated 1 year ago

Archlinux PKGBUILDs for this internship's dependencies

Updated 1 year ago

Scripts to migrate Gogs to Gitea

Updated 1 year ago

My tool to manage my OVH domain

Updated 1 year ago

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

Updated 1 year ago

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

Updated 1 year ago

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

Updated 1 year ago

Sonnette de l'Arcoloc

Updated 1 year ago

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

Updated 1 year ago

Updated 1 year ago

A webhook-handler for Gogs written in Flask, running `make` on every push on the monitored repositories.

Updated 1 year ago

Generate realistic fake browsing histories for borderline and/or activists users, to hide real traffic from global surveillance.

Updated 1 year 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 1 year ago

A repository for the MPRI's Computer Graphics and Visualization course project. A jelly-like ball bounces around.

Updated 1 year ago

Sonnette de l'Arcoloc

Updated 1 year ago

La sonnette sera réparée !

Updated 1 year 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 1 year ago

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

Updated 2 years ago

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

Updated 2 years ago

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

Updated 2 years ago