Skip to content

Instantly share code, notes, and snippets.

View eFrane's full-sized avatar

Stefan Graupner eFrane

37 followers · 41 following
View GitHub Profile
@eFrane
eFrane / generics.vala
Created June 21, 2017 09:03
class AClass<T> {
public string hello() {
return "hello";
}
}
class BClass {
}
@eFrane
eFrane / .zshrc
Created August 31, 2016 11:58
# general consideration: store as much of the shell config as feasible in
# ~/.zsh to keep this file concise
# requirements:
# - z
# - git
# optionals:
# - zsh syntax highlighting
# - iterm2 for shell integration
@eFrane
eFrane / keybase.md
Created April 25, 2016 19:27

Keybase proof

I hereby claim:

  • I am efrane on github.
  • I am efrane (https://keybase.io/efrane) on keybase.
  • I have a public key ASA6yEjYAm12p-dw4YPhx70ITqgkQJqJjOBZ8Lqy_TJjBgo

To claim this, I am signing this object:

@eFrane
eFrane / JarStreamMustacheFactory.java
Last active December 25, 2015 11:59
class JarStreamMustacheFactory extends DefaultMustacheFactory
{
String resourceRoot;
public JarStreamMustacheFactory(String resourceRoot)
{
super(resourceRoot);
if (!resourceRoot.endsWith("/")) resourceRoot += '/';
this.resourceRoot = resourceRoot;
@eFrane
eFrane / gist:3343337
Created August 13, 2012 19:08
jQuery CSS "router" (inspired by github.com/headjs/headjs)
$.each(location.pathname.split('/'), function(key, section) {
var id = section || (key === 0) ? "index"
: location.pathname.split('/')[key-1];
var index = section.indexOf('.');
if (index > 0) id = id.substring(0, index);
$('html').attr('id', id+'-page');
// CSS classes must not begin with a number...
@eFrane
eFrane / gist:2396887
Created April 16, 2012 07:17
Get a php read-eval-print loop. Since the interactive mode is constantly broken
php -r 'for (;;) print eval(fread(STDIN, 4096));'
@eFrane
eFrane / primefactortest.py
Created January 26, 2012 22:10
simple prime factorization in python
import math
def prime(n):
i = 2
while i < 0.5 + math.sqrt(n):
if n % i == 0:
return False
i+=1
return True
@eFrane
eFrane / convert.php
Created October 21, 2011 15:59
Convert iTunes Music Library.xml path locations
#!/usr/bin/php
<?php
/**
Convert iTunes Music Library.xml path locations
usage: convert.php library.xml old_library_path new_library_path
converted library is written to stdout
old and new library paths have to include trailing slashes and
@eFrane
eFrane / script.js
Created October 12, 2011 17:50
(function(n,j){function G(a){return c.isWindow(a)?a:a.nodeType===9?a.defaultView||a.parentWindow:!1}function w(a){if(!ea[a]){var b=l.body,d=c("<"+a+">").appendTo(b),e=d.css("display");d.remove();if(e==="none"||e===""){u||(u=l.createElement("iframe"),u.frameBorder=u.width=u.height=0);b.appendChild(u);if(!H||!u.createElement)H=(u.contentWindow||u.contentDocument).document,H.write((l.compatMode==="CSS1Compat"?"<!doctype html>":"")+"<html><body>"),H.close();d=H.createElement(a);H.body.appendChild(d);
e=c.css(d,"display");b.removeChild(u)}ea[a]=e}return ea[a]}function t(a,b){var d={};c.each(sa.concat.apply([],sa.slice(0,b)),function(){d[this]=a});return d}function db(){V=j}function ta(){setTimeout(db,0);return V=c.now()}function ua(){try{return new n.XMLHttpRequest}catch(a){}}function fa(a,b,d,e){if(c.isArray(b))c.each(b,function(b,f){d||eb.test(a)?e(a,f):fa(a+"["+(typeof f=="object"||c.isArray(f)?b:"")+"]",f,d,e)});else if(!d&&b!=null&&typeof b=="object")for(var f in b)fa(a+"["+f+"]",b[f],d,e);
else e(a,b)}functi
@eFrane
eFrane / .gitconfig
Created May 10, 2011 11:21
My .gitconfig
[user]
email = stefan.graupner@gmail.com
name = Stefan Graupner
[color]
diff = auto
status = auto
branch = auto
ui = auto
[core]
compression = 7