Block or report user
  • Miscellaneous small utils, mainly for the Bash shell.

    Python 89 37 Updated Jan 23, 2017
  • A lightweight, general-purpose Python library, written in Python 3.

    Python Updated Jan 23, 2017
  • A Java implementation of Earley’s efficient parsing algorithm for lambda-free context-free grammars.

    Java Updated Jan 22, 2017
  • Miscellaneous Python projects that rely on the library "jabbapylib".

    Python 2 Updated Jan 14, 2017
  • A Python library that I use for my projects.

    Python 25 11 Updated Jan 12, 2017
  • Some important files from my HOME directory.

    Emacs Lisp 2 Updated Jan 12, 2017
  • Generate static HTML files, mimicking the output of an Apache web server.

    Python 4 Updated Jan 9, 2017
  • PyJava is a small Java library that aims to bring some Python fun to Java

    Java 9 4 Updated Jan 9, 2017
  • With this simple API you can simply call GraphViz's dot from your Java programs.

    Java 30 17 Updated Jan 9, 2017
  • Teaching assets.

    HTML Updated Dec 20, 2016
  • Creates a disposable email address on TrashMail.net.

    Python 11 3 Updated Dec 17, 2016
  • collection of freely available issues of Linux Voice (http://www.linuxvoice.com) and MagPi (https://www.raspberrypi.org/magpi/)

    14 2 Updated Dec 14, 2016
  • Some simple wrapper functions for working with Python virtual environments.

    Shell 3 Updated Nov 5, 2016
  • A Python Tumblr API v2 Client

    Python 5 123 Updated Oct 24, 2016
  • Set speaker volume from the command line (above 100% if you want).

    Python Updated Oct 8, 2016
  • installing a Flask webapp on a Digital Ocean (or Linode, etc.) Ubuntu box

    Python 29 2 Updated Sep 17, 2016
  • Python syntax highlighting script for Vim

    VimL 82 Updated Sep 6, 2016
  • A plugin that highlights operator characters for every language.

    VimL 15 Updated Sep 6, 2016
  • How to configure a Digital Ocean (or Linode, etc.) Ubuntu box.

    VimL 5 Updated Aug 3, 2016
  • Ansible examples from Ansible for DevOps.

    Python 217 Updated Jul 22, 2016
  • 📝 A text file containing 479k English words for fast search auto-completion / autosuggestion.

    135 Updated Jul 19, 2016
  • A simple GUI countdown timer for your pomodoro sessions.

    Python 3 1 Updated Jun 5, 2016
  • This script restarts your vuze process if it dies unexpectedly.

    Python 1 1 Updated Apr 24, 2016
  • Source codes for some posts on my blogs.

    Python 2 9 Updated Mar 19, 2016
  • an icon in the system tray indicates whether Firefox is running or not

    Python Updated Mar 4, 2016
  • This script helps you hack computers in Fallout 3.

    Python Updated Feb 4, 2016
  • PrimCom: manage and access your personal knowledge base easily

    Python 26 3 Updated Jan 6, 2016
  • getting started with Pew (Python Env Wrapper) under Linux

    Shell 5 Updated Jan 5, 2016
  • A Greasemonkey script that puts the focus on the selected input field.

    JavaScript Updated Dec 1, 2015
  • This Greasemonkey script was written for some specific sites in Hungary. However, you can take ideas from this how to highlight a text on a web site.

    JavaScript Updated Nov 29, 2015