Skip to content
View TpmKranz's full-sized avatar
6 followers · 1 following
  • Potsdam

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report TpmKranz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • termux-app Public

    Forked from termux/termux-app

    Termux - a terminal emulator application for Android OS extendible by variety of packages.

    Java Other Updated Sep 27, 2024

  • mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean Apache License 2.0 Updated Apr 30, 2024

  • svxd Public

    Forked from peterbjorgensen/sved

    Synctex support for Vim and Xreader through DBus

    Python Updated Apr 3, 2024

  • coq-waterproof Public

    Forked from impermeable/coq-waterproof
    Coq GNU Lesser General Public License v3.0 Updated Jun 27, 2023

  • Hets Public

    Forked from spechub/Hets

    The Heterogeneous Tool Set

    Haskell GNU General Public License v2.0 Updated Jun 1, 2023

  • gbsplay Public

    Forked from mmitch/gbsplay

    gameboy sound player

    C Other Updated Mar 20, 2023

  • zipperposition Public

    Forked from sneeuwballen/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, cl…

    OCaml BSD 2-Clause "Simplified" License Updated Sep 28, 2022

  • termux-api Public

    Forked from termux/termux-api

    Termux add-on app which exposes device functionality as API to command line programs.

    Java Updated Jun 25, 2022

  • termux-api-package Public

    Forked from termux/termux-api-package

    Termux package containing scripts to call functionality in Termux:API.

    Shell MIT License Updated Jun 25, 2022

  • DLNAmpvRenderer Public

    Forked from PCigales/DLNAmpvRenderer

    A script in Python 3 to turn mpv into a DLNA / UPnP renderer

    Python GNU General Public License v3.0 Updated Jun 2, 2022

  • tidal-async Public

    Forked from FUMR/tidal-async

    Python Tidal streaming service unofficial API in async fashion supporting OAuth2 authentication

    Python GNU Lesser General Public License v2.1 Updated Oct 3, 2021

  • strawberry Public

    Forked from strawberrymusicplayer/strawberry

    🍓 Strawberry Music Player

    C++ GNU General Public License v3.0 Updated Sep 19, 2021

  • Clementine Public

    Forked from clementine-player/Clementine

    🍊 Clementine Music Player

    C++ GNU General Public License v3.0 Updated Sep 18, 2021

  • podman-gitlab-runner Public

    Forked from jonasbb/podman-gitlab-runner

    Use Podman as a custom executor for your Gitlab CI

    Shell MIT License Updated Sep 3, 2021

  • yt-dlp Public

    Forked from hheimbuerger/yt-dlp

    Fork of youtube-dlc with additional features and fixes

    Python The Unlicense Updated Jul 20, 2021

  • vimtex Public

    Forked from lervag/vimtex

    VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

    TeX MIT License Updated Jul 8, 2021

  • FFmpeg-dv Public

    Forked from xbmc/FFmpeg

    mirror of git://source.ffmpeg.org/ffmpeg.git

    C Other Updated Jun 18, 2021

  • kodi-dv Public

    Forked from xbmc/xbmc

    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 f…

    C++ Other Updated Jun 18, 2021

  • ink2pdf Public

    Forked from spook/ink2pdf

    Inkscape to Multi-Page PDF Document

    Perl MIT License Updated Dec 13, 2020

  • gnome-no-title-bar Public

    Forked from smmr0/gnome-no-title-bar

    Integrates maximized windows with the top panel

    JavaScript GNU General Public License v2.0 Updated Oct 13, 2020

  • plugin.video.mediathekview Public

    Forked from mediathekview/plugin.video.mediathekview

    Kodi plugin that gives access to most video-platforms from German public service broadcasters using the database of MediathekView.de

    Python MIT License Updated May 11, 2020

  • docker-latex Public

    Dockerfile GNU General Public License v3.0 Updated May 1, 2020

  • systemd Public

    Forked from systemd/systemd

    The systemd System and Service Manager

    C GNU General Public License v2.0 Updated Mar 21, 2020

  • netsec-scion Public

    Forked from netsec-ethz/scion

    SCION Internet Architecture

    Go Apache License 2.0 Updated Nov 17, 2019

  • LineageOTA Public

    Forked from julianxhokaxhiu/LineageOTA

    A simple OTA REST Server for LineageOS OTA Updater System Application

    PHP MIT License Updated Oct 30, 2019

  • cytoscape.js Public

    Forked from cytoscape/cytoscape.js

    Graph theory (network) library for visualisation and analysis

    JavaScript MIT License Updated Sep 27, 2019

  • focus-trap Public

    Forked from focus-trap/focus-trap

    Trap focus within a DOM node.

    JavaScript MIT License Updated Sep 25, 2019

  • android-wear-color-picker Public

    Forked from BoD/android-wear-color-picker

    A color picker activity optimized for Android Wear. Handy for watch face settings.

    Kotlin Apache License 2.0 Updated Feb 2, 2019

  • AdNauseam Public

    Forked from dhowe/AdNauseam

    AdNauseam: Fight back against advertising surveillance

    JavaScript GNU General Public License v3.0 Updated Jan 15, 2019

  • pia-tools Public

    Forked from saponace/pia-tools

    Shell script to automate privateinternetaccess port forwarding and starting/stopping transmission when connected/disconnected and other stuff

    Shell GNU General Public License v3.0 Updated Aug 16, 2018