Théophile Bastian tobast
0 Followers · 0 Following
Repositories
48
 Projects Packages Public Activity Starred Repositories
1
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
recovmatch
0 0
Match files recovered with photorec with files accessible.
Updated 2022-01-22 11:43:46 +01:00
inf301-debug_segfaults
0 0
Support de cours pour une rapide introduction au débug de segfaults dans le cours d'INF301, Université Grenoble-Alpes
Updated 2021-11-22 16:01:17 +01:00
flask-gogs-maker
0 0
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
mpri-coq-project
0 0
Projet de cours Coq (2.7.1) du MPRI — WP.
Updated 2021-08-31 16:19:59 +02:00
bizou
0 0
Fork of http://positon.org/bizou/
Updated 2021-08-31 16:19:59 +02:00
mpri-funcprog-project
0 0
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
mpri-absint-article
0 0
Updated 2021-08-31 16:19:59 +02:00
pastebincl
0 0
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
web-autoindex
0 0
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
glowingbear-mainbox
0 0
Fork of GlowingBear, with a different login page pre-filling informations.
Updated 2021-08-31 16:19:59 +02:00
elf_arrows
0 0
Builds up arrows between the asm instructions of two different builds of a single project (eg. at -O0 and -O2).
Updated 2021-08-31 16:19:59 +02:00
16-MEgal1
0 0
Updated 2021-08-31 16:19:59 +02:00
github-pr-delay
0 0
Gives insights on the PR merge delay of a GitHub repository
Updated 2021-08-31 16:19:59 +02:00
arkose_prometheus
0 0
Updated 2021-08-31 16:19:59 +02:00
patch2vimedit
0 0
A program intended to make demos and give a feeling of interactivity.
Updated 2021-08-31 16:19:59 +02:00