Various monitoring scripts for arch-sessions on mainbox
Updated 2021-08-31 16:19:59 +02:00
Bugreport minimal example for Doxygen v1.8.13
Updated 2021-08-31 16:19:59 +02:00
Updated 2021-08-31 16:19:59 +02:00
Implementation (or at least attempts) of problems/algorithms seen during the Hello Barcelona bootcamp 2017
Updated 2021-08-31 16:19:59 +02:00
Projet de cours Coq (2.7.1) du MPRI — WP.
Updated 2021-08-31 16:19:59 +02:00
Updated 2021-08-31 16:19:59 +02:00
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 2021-08-31 16:19:59 +02:00
Les Recettes de l'Arcoloc, pour le BOcal
Updated 2021-08-31 16:19:59 +02:00
A webhook-handler for Gogs written in Flask, running `make` on every push on the monitored repositories.
Updated 2021-09-01 00:00:52 +02:00
Support de cours pour une rapide introduction au débug de segfaults dans le cours d'INF301, Université Grenoble-Alpes
Updated 2021-11-22 16:01:17 +01:00
Match files recovered with photorec with files accessible.
Updated 2022-01-22 11:43:46 +01:00
Basic Gitea hooks
Updated 2022-04-17 18:39:47 +02:00
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 2022-07-05 11:39:47 +02:00
Report of my first year of Master's degree's internship, in Göteborg, with Carl Seger.
Updated 2022-11-12 21:32:16 +01:00
Internship report for my L3 internship at Cambridge University with Glynn Winskel.
Updated 2022-11-12 21:32:47 +01:00
Updated 2022-11-25 23:12:32 +01:00
Monitors and records the network state
Updated 2022-12-12 15:28:49 +01:00
Simple Py3status module for fetching Ecowatt data from RTE
Updated 2023-01-05 14:42:36 +01:00
Une API simple pour MonEcowatt
Updated 2023-01-05 16:11:46 +01:00
Dotfiles
Updated 2023-02-10 09:53:16 +01:00