Old website of mehl.mx
Updated 2019-03-18 19:59:03 +01:00
Easy to setup script to monitor websites via ping and index comparison
Updated 2017-01-10 00:06:07 +01:00
Several scripts to manage ezmlm mailing lists
Updated 2017-01-10 00:12:28 +01:00
Incremental backups of one or more directory
Updated 2017-01-10 00:20:09 +01:00
Download Mixcloud sets without throttle
Updated 2017-01-10 00:20:59 +01:00
Removes all metadata from one or more PDF files
Updated 2017-01-10 00:26:37 +01:00
Add some predefined servers for sshuttle and connect to them easily
Updated 2017-01-10 00:27:32 +01:00
Scripts used for TAREO servers and computers
Updated 2017-01-10 00:28:20 +01:00
Bachelor thesis: "The influence of sensational issues on the political agenda setting in social media"
Updated 2017-01-10 00:38:22 +01:00
Bachelor seminar project written in R to analyse the correct usage of imprints on German websites
Updated 2017-01-10 00:43:27 +01:00
Bachelor seminar paper with R code to collect a lot of news entries from spiegel.de and identify which countries appear the most and surprisingly in the news
Updated 2017-01-10 00:45:17 +01:00
This script enables users to easily upload files via a SSH connection and creates a link to download them
Updated 2019-03-12 15:10:34 +01:00
Check if given SSL crt, key and csr files match each other
Updated 2017-01-10 00:50:41 +01:00
Enables splitted downloading of huge files with MD5 comparison and other features
Updated 2017-01-10 00:51:23 +01:00
Set important options and extract important data for new Uberspace websites
Updated 2017-01-10 00:53:55 +01:00
Enables Uberspace users to administrate some functions via a very simple web panel
Updated 2021-12-18 13:03:26 +01:00
Snap DynDNS Server enables you to set up your own easy and simple Dynamic DNS service.
Updated 2020-10-27 11:48:54 +01:00
Gather IP address of a computer and push it to an Snap DynDNS Server instance.
Updated 2024-02-29 11:41:31 +01:00
Several scripts to mount local or remote network storages (SSH, SMB...)
Updated 2018-10-02 11:44:28 +02:00
Adds a widget to twitter which can serve an RSS feed from Twitter in a privacy friendly and still good-locking way
Updated 2017-01-10 00:58:00 +01:00