Skip to content

Instantly share code, notes, and snippets.

View gka's full-sized avatar
🐢

Gregor Aisch gka

🐢
View GitHub Profile
@rooks
rooks / csv.js
Last active March 12, 2024 12:25
CodeMirror rainbow CSV mode
const DELIM = ','
const QUOTE = '"'
const MAX_LENGTH = 9
const tokenRainbow = state => `string num${state.num}`
const tokenPlain = () => 'string'
CodeMirror.defineMode('csv', function modeCsv(opts, modeOpts) {
let { delimiter = DELIM, rainbow = false } = modeOpts
let token = rainbow ? tokenRainbow : tokenPlain
@CliffordAnderson
CliffordAnderson / berlin-wall.geojson
Last active November 13, 2018 09:32
Berlin Wall GeoJSON converted from Open Street Maps
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@dill
dill / example.R
Created February 20, 2016 20:23
display R plots in iTerm2
library(ggplot2)
library(emoGG)
source("imgcat.R")
p <- ggplot(iris, aes(Sepal.Length, Sepal.Width, color = Species)) + geom_emoji(emoji="1f337")
imgcat(print(p))
@yanofsky
yanofsky / gif_maker.sh
Created March 7, 2015 21:56
How to Make a gif from a folder of images
# requirement! install imagemagick
# brew install imagemagick
# or build from source here http://www.imagemagick.org/script/binary-releases.php
#navigate to folder of the images
cd folderofmyimages/
# take every jpg in the folder and smash into a gif with a frame rate of 0.5 sec
convert -delay 50 *.jpg gif_of_my_images.gif
dayLength = 24 * 60 * 60 * 1000
beforeMidnight = (dayLength - 1)
endDate = (year, month, day) ->
date = new Date(year, parseInt(month or 1)-1, day or 1)
return new Date(date.getTime() + beforeMidnight)
exports.parseDate = (dateString) ->
@pudo
pudo / nomenklatura.sql
Created February 19, 2013 12:15
Postgres Nomenklatura Client
CREATE OR REPLACE FUNCTION nomenklatura (key text, dataset text, api_key text)
RETURNS text
AS $$
import json, urllib, urllib2
url = 'http://nomenklatura.okfnlabs.org/%s/lookup?' % dataset
url += urllib.urlencode({'api_key': api_key, 'key': key})
req = urllib2.Request(url, None, {'Accept': 'application/json'})
try:
@gka
gka / _readme.md
Created January 24, 2013 20:43
PHP Endpoint for Github Webhook URLs

PHP Endpoint for Github Webhook URLs

If you love deploying websites using Github, but for some reason want to use your own server, this script might be exactly what you need.

  1. Put github.php somewhere on your PHP-enabled web server, and make it accessible for the outside world. Let's say for now the script lives on http://example.com/github.php
@jarek-foksa
jarek-foksa / gist:2648095
Last active April 26, 2020 09:59
SVGElement.prototype.innerHTML shim
// Important: You must serve your pages as XHTML for this shim to work,
// otherwise namespaced attributes and elements will get messed up.
Object.defineProperty(SVGElement.prototype, 'innerHTML', {
get: function() {
var $child, $node, $temp, _i, _len, _ref;
$temp = document.createElement('div');
$node = this.cloneNode(true);
_ref = $node.children;
for (_i = 0, _len = _ref.length; _i < _len; _i++) {
$child = _ref[_i];
@migurski
migurski / polygonize.py
Created April 25, 2012 22:16
Polygonize a bag of lines
from sys import argv
from shapely.ops import polygonize
from shapely.geometry import asShape, LineString
import json
if __name__ == '__main__':
input = argv[1]
input = json.load(open(input))

High level style in javascript.

Opinions are like assholes, every one has got one.

This one is mine.

Punctuation: who cares?

Punctuation is a bikeshed. Put your semicolons, whitespace, and commas where you like them.