Les Recettes de l'Arcoloc, pour le BOcal

Updated 2 years ago

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 2 years ago

Tools to generate a bundle of everything that is needed to demo the project and roughly install it.

Updated 2 years ago

Internship report's repository for my M2 internship

Updated 2 years ago

Updated 2 years ago

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 2 years ago

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 2 years ago

Fork of GlowingBear, with a different login page pre-filling informations.

Updated 2 years ago

Various monitoring scripts for arch-sessions on mainbox

Updated 2 years ago

Updated 2 years ago

Archlinux PKGBUILDs for this internship's dependencies

Updated 2 years ago

Scripts to migrate Gogs to Gitea

Updated 2 years ago

My tool to manage my OVH domain

Updated 2 years ago

An old project of mine — a command-line client for https://pastebin.com/. I don't recommend using it anymore.

Updated 2 years ago

Dwarf-to-computer interpret library, built on the top of libdwarfpp.

Updated 2 years ago

Work on the top of "frame machine" by Stephen Kell

Updated 2 years ago

Sonnette de l'Arcoloc

Updated 2 years ago

Testing setup for eh_frame_check, available at https://github.com/francesco-zappa-nardelli/eh_frame_check/

Updated 2 years ago

Updated 3 years ago

A webhook-handler for Gogs written in Flask, running `make` on every push on the monitored repositories.

Updated 3 years ago