deret

some tools to minify web page content

url shortener

decktape with bash as entrypoint

Android SDK

rsync + ssh + git

some tools to minify web page content for raspberry pi zero

latex for raspberry pi zero