t-wissmann

Thorsten Wißmann's repositories

barpyrus

A python wrapper for lemonbar

Language:PythonNOASSERTION33 8 9

dotfiles

My configuration files, utility scripts, private ssh keys,…

Language:Shell25 2 1

rofi-bibbrowser

A bibtex powered browser for your PDF document collection

Language:Python24 2 4

archlinux-update-modules

Keep your /usr/lib/modules sensible on arch linux

Language:Shell6 3 3

publistgen

Generate personal publication lists from bibtex files

Language:PythonGPL-3.06 20

zoom-firejail

My zoom setup in firejail that requires no global zoom installation

Language:Shell6 2 1

caligraph

Experiments with Haskell, Remind, and Brick

Language:Haskell4 20

kollegstufe

Software to keep track of own school grades

Language:C++GPL-2.02 20

abakus-clock

A qt implementation of the abakus clock from the TUM building

Language:C++1 20

biblib

Simple, faithful BibTeX parser and algorithms for Python 3

Language:PythonMIT1 10

bluetooth-browser

A curses-style gui to bluetoothctl/bluez

Language:Python1 2 2

herbstluftwm

Only a non-official playground, please move on to: https://github.com/herbstluftwm/herbstluftwm

Language:C++NOASSERTION1 20

plaur

A more pleasant AUR experience

Language:Python1 3 1

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5 and QtWebKit.

Language:PythonGPL-3.01 20

rofi

Rofi: A window switcher, run dialog and dmenu replacement

Language:CNOASSERTION1 20

boa

Partition refinement

Language:Rust010

cantata

Qt5 Graphical MPD Client

Language:C++GPL-3.0010

coq-category-theory

fork of jwiegley's axiom-free formalization of category theory in Coq

Language:CoqBSD-3-Clause000

DEA_Editor

Deterministic Finite Automaton Simulator written in C++/Qt

Language:C++020

hledger-iadd

A terminal UI as drop-in replacement for hledger add.

Language:HaskellBSD-3-Clause020

metagit

Yet another tool to manage multiple git repositories

Language:Python030

minibufexpl.vim

Elegant buffer explorer - takes very little screen space

Language:VimL000

problemtools

Tools to manage problem packages using the Kattis problem package format.

Language:PythonMIT020

python-xlib

XLib in pure Python (Py2/Py3 compatible)

Language:PythonLGPL-2.1010

rezlooks-green-theme

A greenish gtk theme using the rezlooks gtk2 engine

Language:CSS020

rezlooks-gtk-engine

Archiving the beautiful Rezlooks GTK2 engine

Language:Shell010

ripdsl

Rip audio CDs using a python based DSL

Language:Python020

rpi-kiosk

Scripts for turnign a raspberry pi into a digital poster / kiosk

Language:Python010

setgame

Simulator of the card game 'set' (in Qt)

Language:C++020

spellcast

spellcast - spelling check and stylish topping

Language:Python020