Skip to content

Instantly share code, notes, and snippets.

AYF realazthat

Block or report user

Report or block realazthat

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@realazthat
realazthat / cube.hpp
Last active Aug 29, 2015
A cube/corner/face library for reasoning about cubes.
View cube.hpp
/*
Copyright (c) 2012 Azriel Fasten azriel.fasten@gmail.com
Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation
files (the "Software"), to deal in the Software without
restriction, including without limitation the rights to use,
copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the
Software is furnished to do so, subject to the following
View corner_traverser.hpp
/*
Copyright (c) 2012 Azriel Fasten azriel.fasten@gmail.com
Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation
files (the "Software"), to deal in the Software without
restriction, including without limitation the rights to use,
copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the
Software is furnished to do so, subject to the following
@realazthat
realazthat / list.1.dot
Created Jan 26, 2015
dot graphs for "Maintaining an efficient ordering where you can insert elements “in between” any two other elements in the ordering?" at http://cs.stackexchange.com/a/14710/2755
View list.1.dot
#step 1
digraph list{
{rank=same;
D1[style=invis,shape=point];
D1[style=invis];
}
{rank=same;
D[dir=back];
@realazthat
realazthat / common.py
Last active Aug 29, 2015
spider for files of a certain extension
View common.py
import yaml
import argparse
from attrdict import AttrDict
#from check_config import check_config
def check_config(config,partial=False):
pass
View klee example
int main()
{
int a;
klee_make_symbolic(&a, sizeof(a));
if(a==5)
return 1;
return 0;
}
View gist:2415094
struct cputimer
{
cputimer(const std::string& name)
: name(name)
{
}
~cputimer()
{
View botan_bench.data
{
"units":
[
"Botan-1.10.3/src/algo_base/symkey.cpp",
"Botan-1.10.3/src/algo_factory/algo_factory.cpp",
"Botan-1.10.3/src/algo_factory/prov_weight.cpp",
"Botan-1.10.3/src/alloc/alloc_mmap/mmap_mem.cpp",
"Botan-1.10.3/src/alloc/mem_pool/mem_pool.cpp",
"Botan-1.10.3/src/alloc/system_alloc/defalloc.cpp",
"Botan-1.10.3/src/asn1/alg_id.cpp",
View Test.md

Inline-style: alt text

Um, why isn't this rendering.

View adventofcode.day3.part1.py
import collections
class Santa:
def __init__(self):
self.coord = [0,0];
self.visits = collections.defaultdict(int)
View adventofcode.day1.part1.py
class Elevator:
def __init__(self):
self.floor = 0
def advance(self, symbol):
assert symbol in ['(', ')']
if symbol == '(':
You can’t perform that action at this time.