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 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
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
Monitors and records the network state
Updated 2022-12-12 15:28:49 +01:00
An OCaml binding of libdwarfw (https://github.com/emersion/libdwarfw), a library built to write DWARF debug data into ELF files (and more precisely .eh_frame).
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
A program intended to make demos and give a feeling of interactivity.
Updated 2021-08-31 16:19:59 +02:00
This repository contains a fork of perf, the profiler from the Linux kernel repository, modified in a way to interface it with eh_elfs and (hopefully) speeding it up on complicated DWARF frames
Updated 2021-08-31 16:19:59 +02:00
Archlinux PKGBUILDs for this internship's dependencies
Updated 2021-08-31 16:19:59 +02:00
Match files recovered with photorec with files accessible.
Updated 2022-01-22 11:43:46 +01:00
Internship report's repository for my M2 internship
Updated 2021-08-31 16:19:59 +02:00
Provide ways to send notifications to signal-cli through webhooks
Updated 2024-03-01 15:18:00 +01:00
Une API simple pour MonEcowatt
Updated 2023-01-05 16:11:46 +01:00