Pinned Repositories
AdNauseam
AdNauseam: Fight back against advertising surveillance
android-wear-color-picker
A color picker activity optimized for Android Wear. Handy for watch face settings.
Clementine
:tangerine: Clementine Music Player
coq-waterproof
cytoscape.js
Graph theory (network) library for visualisation and analysis
DLNAmpvRenderer
A script in Python 3 to turn mpv into a DLNA / UPnP renderer
docker-latex
elektronik-praktikum
Automatically exported from code.google.com/p/elektronik-praktikum
FFmpeg-dv
mirror of git://source.ffmpeg.org/ffmpeg.git
SMS-Forward
An Android app to forward SMS to an email account
TpmKranz's Repositories
TpmKranz/AdNauseam
AdNauseam: Fight back against advertising surveillance
TpmKranz/android-wear-color-picker
A color picker activity optimized for Android Wear. Handy for watch face settings.
TpmKranz/Clementine
:tangerine: Clementine Music Player
TpmKranz/coq-waterproof
TpmKranz/cytoscape.js
Graph theory (network) library for visualisation and analysis
TpmKranz/DLNAmpvRenderer
A script in Python 3 to turn mpv into a DLNA / UPnP renderer
TpmKranz/docker-latex
TpmKranz/FFmpeg-dv
mirror of git://source.ffmpeg.org/ffmpeg.git
TpmKranz/focus-trap
Trap focus within a DOM node.
TpmKranz/gbsplay
gameboy sound player
TpmKranz/gnome-no-title-bar
Integrates maximized windows with the top panel
TpmKranz/Hets
The Heterogeneous Tool Set
TpmKranz/ink2pdf
Inkscape to Multi-Page PDF Document
TpmKranz/kodi-dv
Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available for Android, BSD, Linux, macOS, iOS and Windows.
TpmKranz/LineageOTA
A simple OTA REST Server for LineageOS OTA Updater System Application
TpmKranz/mathlib4
The math library of Lean 4
TpmKranz/netsec-scion
SCION Internet Architecture
TpmKranz/pia-tools
Shell script to automate privateinternetaccess port forwarding and starting/stopping transmission when connected/disconnected and other stuff
TpmKranz/plugin.video.mediathekview
Kodi plugin that gives access to most video-platforms from German public service broadcasters using the database of MediathekView.de
TpmKranz/podman-gitlab-runner
Use Podman as a custom executor for your Gitlab CI
TpmKranz/strawberry
:strawberry: Strawberry Music Player
TpmKranz/svxd
Synctex support for Vim and Xreader through DBus
TpmKranz/systemd
The systemd System and Service Manager
TpmKranz/termux-api
Termux add-on app which exposes device functionality as API to command line programs.
TpmKranz/termux-api-package
Termux package containing scripts to call functionality in Termux:API.
TpmKranz/termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.
TpmKranz/tidal-async
Python Tidal streaming service unofficial API in async fashion supporting OAuth2 authentication
TpmKranz/vimtex
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
TpmKranz/yt-dlp
Fork of youtube-dlc with additional features and fixes
TpmKranz/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.