My current research focuses on reliability of concurrent software systems. In general I'm interested in program analysis, formal methods, distributed systems, etc.
dlauncher - dmenu-based extensible desktop launcher (for X11)
Mostly minor/useless. ┑(￣Д ￣)┍
Alternate line background for Mintty. Help align lines and reduce emptiness in large consoles.