Updated 2021-08-31 16:19:59 +02:00
Fork of GlowingBear, with a different login page pre-filling informations.
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
Tools to generate a bundle of everything that is needed to demo the project and roughly install it.
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
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
Dwarf-to-computer interpret library, built on the top of libdwarfpp.
Updated 2021-08-31 16:19:59 +02:00
Sonnette de l'Arcoloc
Updated 2021-08-31 16:19:59 +02:00
Work on the top of "frame machine" by Stephen Kell
Updated 2021-08-31 16:19:59 +02:00
An old project of mine — a command-line client for https://pastebin.com/. I don't recommend using it anymore.
Updated 2021-08-31 16:19:59 +02:00
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 2021-08-31 16:19:59 +02:00
Some experiments around compiling the most used Dwarf information (ELF debug data) directly into assembly.
Updated 2021-08-31 16:19:59 +02:00
Updated 2021-08-31 16:19:59 +02:00
Updated 2021-08-31 16:19:59 +02:00
Programmes divers pour Computercraft
Updated 2021-08-31 16:19:59 +02:00
Bindings python pour l'API du WiFi SNCF des TGVs. Données GPS, etc.
Updated 2021-08-31 16:19:59 +02:00