This file contains 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
| package alg; | |
| import java.util.ArrayList; | |
| import java.util.List; | |
| /** | |
| * Binary tree printer | |
| * | |
| * @author MightyPork |
MightyPork
/ crane domain
Created
April 22, 2015 08:21
This file contains 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
| (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 |
This file contains 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
| 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
/ heading-anchors.js
Last active
May 5, 2019 17:06
Add "id" to headings and scroll to heading based on URL
This file contains 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
| function headingAnchors(self_link_text) { | |
| self_link_text = self_link_text || '#'; | |
| var headings = document.querySelectorAll('h1, h2, h3, h4, h5'); | |
| for (var i = 0; i < headings.length; i++) { | |
| var e = headings[i]; | |
| if (!e.id) { | |
| var tc = e.textContent; | |
| tc = tc.replace(/[^a-z0-9-]/gi, '-') | |
| .replace(/-{2,}/gi, '-') |
This file contains 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
| [ | |
| { | |
| "name": "Pacific Time", | |
| "tz": "USA, Pacific Time", | |
| "color": "white" | |
| }, | |
| { | |
| "name": "Mountain Time", | |
| "tz": "USA, Mountain Time", | |
| "color": "white" |
This file contains 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
| [ | |
| { | |
| "name": "@AntonvonRaumer", | |
| "tz": "Germany", | |
| "color": "#FF8585" | |
| }, | |
| { | |
| "name": "@ciba43", | |
| "tz": "Latvia", | |
| "color": "#FE2F77" |
This file contains 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
| # Contributor: T. Jameson Little <[email protected]> | |
| 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=() |
This file contains 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
| declare interface Location { | |
| lat:number; | |
| lng:number | |
| } | |
| declare interface GeocodeResult { | |
| address_components: { | |
| long_name: string; | |
| short_nam: string; | |
| types: string[]; |
This file contains 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
| #!/bin/env python3 | |
| import sys,os | |
| import random | |
| import functools | |
| p_sg = ['el', 'la'] | |
| p_pl = ['los', 'las'] |
This file contains 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
| // ==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== |
OlderNewer