goodell Goto Github PK

braid

Simple tool to help track git and svn vendor branches in a git repository

chicago_property_taxes

cpanminus

cpanminus - get, unpack, build and install modules from CPAN

cppmem

totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf)

dgt

Dave's Git Toolkit (you probably don't need anything from here)

fabtests

gist

Potentially the best command line gister.

gitdub

A github WebHook that emails detailed diffs of your commits. This is @goodell's fork with modifications to use post-receive-email instead of git-notifier.

highlight

A command-line tool to filter text and highlight the output.

homebrew

The missing package manager for OS X.

hub

hub introduces git to GitHub

libfabric

Open Fabric Interfaces

mscgen_js

turns text into sequence charts

mscgenjs-cli

command line interface for mscgen_js

nowrap

A command-line utility to truncate (possibly highlighted) text to the terminal width.

ompi

Open MPI main development repository

ompi-release

demo PoC for the proposed "open-mpi/ompi-release" repository

pipe2pastebin

a tool that uploads text/files to codetrunk.com

prezto

The configuration framework for Zsh

radix-calc

a CLI programmer's calculator written in Rust, with an Alfred workflow GUI

text-charwidth-pureperl

Text::CharWidth::PurePerl

vim-mscgen

Vim support for mscgen/msgenny

vimpager

Use ViM as PAGER

wireshark

Read-only mirror of Wireshark's Git repository. GitHub won't let us disable pull requests. ☞ THEY WILL BE IGNORED HERE ☜ Please upload them at https://code.wireshark.org/review/ .