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
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
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
Work on the top of "frame machine" by Stephen Kell
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
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
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
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
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
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
Projet de cours Coq (2.7.1) du MPRI — WP.
Updated 2021-08-31 16:19:59 +02:00