Skip to content

Instantly share code, notes, and snippets.

View MightyPork's full-sized avatar
🐶
meow

Ondřej Hruška MightyPork

🐶
meow
112 followers · 8 following
View GitHub Profile
@MightyPork
MightyPork / TreePrinter.java
Last active August 29, 2015 14:19
Binary tree printer
package alg;
import java.util.ArrayList;
import java.util.List;
/**
* Binary tree printer
*
* @author MightyPork
@MightyPork
MightyPork / crane domain
Created April 22, 2015 08:21
(define (domain CRANE)
(:requirements :strips :typing)
(:types crane box location)
(:predicates
(atB ?x - box ?y - location) ;; box at location
(atC ?x - crane ?y - location) ;; crane at location
(clearL ?l - location) ;; location clear
(clearC ?c - crane) ;; crane empty
(holding ?c - crane ?b - box) ;; crane holding a box
@MightyPork
MightyPork / herodes_launcher
Created May 10, 2015 13:19
Herodes filler bookmarklet
javascript:(function(){if(window.herodes_filler_bookmarklet!==undefined){alert('Bookmarklet already loaded!')}else{document.body.appendChild(document.createElement('script')).src='http://ondrovo.com/data/herodes_fill_bm.js';}})();
// Pozor, když se to uloží jako záložka v Chrome, někdy se ztratí to "javascript:" na začátku.
// Je potřeba dát Edit a zkontrolovat, že je adresa správně
@MightyPork
MightyPork / tzork-usa-time.json
Last active August 29, 2015 14:23
USA timezones for TZORK
[
{
"name": "Pacific Time",
"tz": "USA, Pacific Time",
"color": "white"
},
{
"name": "Mountain Time",
"tz": "USA, Mountain Time",
"color": "white"
@MightyPork
MightyPork / tzork-twitter-list.json
Created June 22, 2015 19:24
Original Tzork Config
[
{
"name": "@AntonvonRaumer",
"tz": "Germany",
"color": "#FF8585"
},
{
"name": "@ciba43",
"tz": "Latvia",
"color": "#FE2F77"
@MightyPork
MightyPork / dartium-bin.sh
Created June 24, 2015 21:04
Dartium PKGBUILD
# Contributor: T. Jameson Little <t.jameson.little@gmail.com>
pkgname=dartium-bin
pkgver=1.10.0
pkgrel=1
pkgdesc="Chromium-based browser that includes the Dart virtual machine (integration version built with dart-editor)"
arch=(i686 x86_64)
url="http://www.dartlang.org/dartium/"
license=('BSD')
depends=('libudev.so.0' 'libgcrypt15' 'gconf')
optdepends=()
@MightyPork
MightyPork / geocode.d.ts
Created June 25, 2015 14:45
geocode result
declare interface Location {
lat:number;
lng:number
}
declare interface GeocodeResult {
address_components: {
long_name: string;
short_nam: string;
types: string[];
@MightyPork
MightyPork / los.py
Created July 22, 2015 22:01
Los
#!/bin/env python3
import sys,os
import random
import functools
p_sg = ['el', 'la']
p_pl = ['los', 'las']
@MightyPork
MightyPork / FixTwitterBackground.js
Last active August 29, 2015 14:25
Fix Twitter Background
// ==UserScript==
// @name Twitter Background Fixer
// @namespace http://your.homepage/
// @version 0.1
// @description Adds your custom color and image back to twitter's background.
// @author MightyPork
// @match https://twitter.com/
// @grant none
// ==/UserScript==
@MightyPork
MightyPork / twitter_bg_fix_v2.js
Created July 23, 2015 17:41
Userscript to fix twitter's background
// ==UserScript==
// @name Twitter Background Fixer
// @namespace http://your.homepage/
// @version 0.1
// @description Adds your custom color and image back to twitter's background.
// @author MightyPork
// @match https://twitter.com/
// @grant none
// ==/UserScript==