This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// | |
// keymap.json | |
// | |
// Reasonable spatial configuration. | |
// | |
[ | |
{ | |
"context": "ProjectPanel && not_editing", | |
"bindings": { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
A pithy noop context manager. | |
""" | |
import contextlib | |
@contextlib.contextmanager | |
def fakelock(): | |
""" | |
Empty context manager that does nothing. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### | |
### media.rb | |
### | |
### Demonstration of using Twitter::REST::Client#search alongside | |
### Twitter::REST::Client#status to retrieve all media objects for | |
### a tweet. | |
### | |
require 'twitter' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
"""Cleanup a JSON history file and encode is as close to ICRA as possible.""" | |
import argparse | |
import csv | |
import datetime | |
import operator | |
import sys | |
import itertools | |
import json | |
import urlparse |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* get_history.js | |
* | |
* Script to extract browsing history metadata from Google Chrome and, where | |
* possible, associate it with a device when syncing is enabled. | |
* | |
* Usage: | |
* 1. Open Google Chrome | |
* 2. Navigate to the history page | |
* 3. Open the developer tools (Ctrl+Shift+i) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
Display aggregated General Election 2015 polling data on a Pimoroni Unicorn | |
Hat. | |
""" | |
import operator | |
import re | |
import time | |
import requests |