Internship report for my L3 internship at Cambridge University with Glynn Winskel.
Updated 2022-11-12 21:32:47 +01:00
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
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
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
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
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
Generate realistic fake browsing histories for borderline and/or activists users, to hide real traffic from global surveillance.
Updated 2021-08-31 16:19:59 +02:00
A repository for the MPRI's Computer Graphics and Visualization course project. A jelly-like ball bounces around.
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
Updated 2021-08-31 16:19:59 +02:00
Testing setup for eh_frame_check, available at https://github.com/francesco-zappa-nardelli/eh_frame_check/
Updated 2021-08-31 16:19:59 +02:00