devkral/noteman
Note manager with advanced capabilities
Developer Profile
devkral
Discovered public repositories for devkral in the GitHub catalog.
devkral/runmysys
Use your favourite working environment on every pc
devkral/susp-toboth
gnome-shell extension
devkral/youtube_html5_switch
A Firefox Add-on using the Add-ons SDK that simply changes the URL on YouTube to use the HTML5 player.
devkral/gpsrequest
gpsrequest is a fun project to wath the gps coords via html5
devkral/hangman
hangman in C
devkral/Gnome-Presentation-Mode
A gnome-shell extensions that adds an option for inhibiting the screensaver to the power menu.
devkral/archinstall_helper
a step by step guide for arch installations
devkral/slates
new kind of a window manager
devkral/uniprogramme
Einige Programme zu Algorithmen aus den Vorlesungen
devkral/2to3convbeast
Public repository.
devkral/librarything_link
finds author page on librarything to author page on wikipedia
devkral/cloneme
a script to clone a system with respect for user privacy
devkral/sort_librarything
sort authors in librarything via bookmarklet
devkral/chkbootal
confortable boot file check via shasum
devkral/lightspark
An open source flash player implementation
devkral/asaus
a graphic frontend for g++
devkral/systemd-arch-units
Arch Linux specific Systemd unit files
devkral/oosplashkiller-daemon
a daemon which kills oosplash.bin every five minutes. It was a fix for the temporary close problem of libreoffice with the xserver.