t-wissmann Goto Github PK
Name: Thorsten Wißmann
Type: User
Company: thorsten` on libera.chat
Bio: postdoc in theoretical computer science (University in Erlangen, Germany), creator of herbstluftwm.
Location: Germany
Blog: thorsten-wissmann.de
Thorsten Wißmann's Projects
abakus-clock
A qt implementation of the abakus clock from the TUM building
archlinux-update-modules
Keep your /usr/lib/modules sensible on arch linux
barpyrus
A python wrapper for lemonbar
biblib
Simple, faithful BibTeX parser and algorithms for Python 3
bluetooth-browser
A curses-style gui to bluetoothctl/bluez
boa
Partition refinement
caligraph
Experiments with Haskell, Remind, and Brick
cantata
Qt5 Graphical MPD Client
coq-category-theory
fork of jwiegley's axiom-free formalization of category theory in Coq
dea_editor
Deterministic Finite Automaton Simulator written in C++/Qt
dotfiles
My configuration files, utility scripts, private ssh keys,…
herbstluftwm
Only a non-official playground, please move on to: https://github.com/herbstluftwm/herbstluftwm
hledger-iadd
A terminal UI as drop-in replacement for hledger add.
initial-algebras-unchained
Mirror of https://git8.cs.fau.de/software/initial-algebras-unchained
kollegstufe
Software to keep track of own school grades
metagit
Yet another tool to manage multiple git repositories
minibufexpl.vim
Elegant buffer explorer - takes very little screen space
plaur
A more pleasant AUR experience
problemtools
Tools to manage problem packages using the Kattis problem package format.
publistgen
Generate personal publication lists from bibtex files
python-xlib
XLib in pure Python (Py2/Py3 compatible)
qutebrowser
A keyboard-driven, vim-like browser based on PyQt5 and QtWebKit.
rezlooks-green-theme
A greenish gtk theme using the rezlooks gtk2 engine
rezlooks-gtk-engine
Archiving the beautiful Rezlooks GTK2 engine
ripdsl
Rip audio CDs using a python based DSL
rofi
Rofi: A window switcher, run dialog and dmenu replacement
rofi-bibbrowser
A bibtex powered browser for your PDF document collection
rpi-kiosk
Scripts for turnign a raspberry pi into a digital poster / kiosk
setgame
Simulator of the card game 'set' (in Qt)
spellcast
spellcast - spelling check and stylish topping
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.