Théophile Bastian tobast
0 followers · 0 following
Repositories
48
 Projects Packages Public activity Starred repositories
1
Filter
Sort
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
netmon
Python 0 0
Monitors and records the network state
Updated 2022-12-12 15:28:49 +01: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
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
gitea-hooks
Python 0 0
Basic Gitea hooks
Updated 2022-04-17 18:39:47 +02:00
ecowatt-py3status
Python 0 0
Simple Py3status module for fetching Ecowatt data from RTE
Updated 2023-01-05 14:42:36 +01:00
simple-ecowatt
Python 0 0
Une API simple pour MonEcowatt
Updated 2023-01-05 16:11:46 +01:00
curlgrep-notify
Shell 0 0
Send a notification if a curl'd resource has a grep match
Updated 2023-08-14 10:17:06 +02: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