Command-line program to download videos from YouTube.com and other video sites

A curated list of awesome Machine Learning frameworks, libraries and software.

Wrong project! You should head over to http://github.com/sshuttle/sshuttle

Git for Humans, Inspired by GitHub for Mac™.

Pythonic Smart Contract Language for the EVM

Fast database snapshot and restore tool for development

SoundCloud (and Bandcamp and Mixcloud) downloader in Python.

a generic package manager, for including other people's code in your projects

Dotfile management made easy

Python curses command line CSV and tabular data viewer

A python telnet/ssh server for modern terminals. In spirit of classic software such as ami/x, teleguard, renegade, iniquity.

Unbelievably fast task entry in Wunderlist with due dates, reminders, and recurrence

A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.

Utils around luigi.

ElasticSearch CLI

A simple wrapper around the ORCID.org API.

The admin we used at Cambridge for the summer school.

🎵 Python Soundcloud downloader

Polynomial semantics of linear logic

Unofficial mirror of muttils

Record collection visualization.

Process coq source files with python

Generative toolbox.

Generative prints.

Automatically pull all your repositories from github and bitbucket

Music Has the Right to Children