Tools

Various stuff

Tools and helpers for various tech needs. Most prominent:

• git-tools: a collection of helpful Git shortcuts (bash)
• reddit-streamline: an RSS proxy in Python using Bottle framework to point directly to the article from Reddit post, not to the post itself
• sequences.py - a command-line tool in Python to extract parts of text data, with ability to start and stop on specific text parts and do pre- and post-match tracking. Parameters by -h flag