Tim Henderson (timtadh)

timtadh

Geek Repo

Company:@google

Home Page:http://hackthology.com

Github PK Tool:Github PK Tool


Organizations
cwru-compilers
cwruacm
hacsoc

Tim Henderson's repositories

data-structures

Go datastructures.

Language:GoLicense:NOASSERTIONStargazers:415Issues:24Issues:7

zhang-shasha

Tree edit distance using the Zhang Shasha algorithm

Language:PythonLicense:NOASSERTIONStargazers:411Issues:14Issues:31

lexmachine

Lex machinary for go.

Language:GoLicense:NOASSERTIONStargazers:401Issues:13Issues:21

fs2

B+ Tree - List - File Structures 2 - Memory Mapped File Structures for Go

Language:GoLicense:NOASSERTIONStargazers:400Issues:21Issues:16

parsemis

The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. https://www2.cs.fau.de/EN/research/zold/ParSeMiS/index.html

Language:JavaLicense:NOASSERTIONStargazers:43Issues:8Issues:3

pyflwor

A Query Langauge and System for Python Objects

Language:PythonLicense:NOASSERTIONStargazers:26Issues:5Issues:3

jpdg

generate program dependence graphs for java programs.

Language:JavaLicense:NOASSERTIONStargazers:25Issues:3Issues:2
Language:GoLicense:NOASSERTIONStargazers:22Issues:4Issues:0

dot

Stream parsing of the graphviz dot language for go.

Language:GoLicense:NOASSERTIONStargazers:11Issues:5Issues:0

dot_tools

A library to parse and generate the graphviz dot langauge.

Language:PythonLicense:NOASSERTIONStargazers:10Issues:3Issues:5

goiso

A wrapper around libbliss for graph isomorphism testing and canonical labeling.

Language:C++License:GPL-3.0Stargazers:8Issues:2Issues:0
Language:GoLicense:NOASSERTIONStargazers:7Issues:0Issues:0

swork

A shell enviroment manager. Easily manage the shell enviroment (variables etc.) for working on various projects. Stands for start work.

Language:PythonLicense:NOASSERTIONStargazers:7Issues:3Issues:2

tcel

A type checked functional language.

Language:GoLicense:NOASSERTIONStargazers:7Issues:4Issues:1

getopt

Yet Another getopt Library for Go. This one works like the python module getopt.

Language:GoLicense:NOASSERTIONStargazers:6Issues:4Issues:2

combos

Parser combinators for Go. Easy parsing of LL(k) grammars.

Language:GoLicense:NOASSERTIONStargazers:5Issues:0Issues:0

ops-example

A small, very simple example of how to use Ansible and Fabric.

Language:NginxLicense:NOASSERTIONStargazers:2Issues:3Issues:0
Language:GoLicense:NOASSERTIONStargazers:2Issues:2Issues:0

hackthology

repo which generates timtadh.github.io

Language:PythonLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:HTMLStargazers:1Issues:2Issues:0

warc-extractor

extract a random sample of HTML files from WARCs

Language:JavaLicense:NOASSERTIONStargazers:1Issues:5Issues:0
Language:JavaStargazers:0Issues:3Issues:0

blinky

Java Code Instrumenter and Execution Tracer

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

expected-hitting-times

Compute (or-estimate) the expected hitting times of discrete time markov chain

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

fault-exposing-interactions

This code has faults (bugs) do not use.

Language:JavaStargazers:0Issues:0Issues:0

go.matrix

linear algebra for go

Language:GoLicense:NOASSERTIONStargazers:0Issues:3Issues:0

gopheracademy-web

Public Website for blog.GopherAcademy.com

Language:CSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:2Issues:0
Language:GoLicense:NOASSERTIONStargazers:0Issues:3Issues:0