Dave Goodell (goodell)

goodell

Geek Repo

Company:AWS

Github PK Tool:Github PK Tool


Organizations
ofiwg
open-mpi

Dave Goodell's repositories

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)

Language:OCamlLicense:NOASSERTIONStargazers:25Issues:3Issues:0

highlight

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

Language:PerlStargazers:19Issues:0Issues:0

radix-calc

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

Language:ShellLicense:MITStargazers:16Issues:2Issues:2

nowrap

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

Language:PerlStargazers:9Issues:0Issues:0

vim-mscgen

Vim support for mscgen/msgenny

Language:VimLStargazers:2Issues:1Issues:0

text-charwidth-pureperl

Text::CharWidth::PurePerl

Language:PerlStargazers:0Issues:0Issues:0

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/ .

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

braid

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

Language:RubyLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

cpanminus

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

Language:PerlStargazers:0Issues:0Issues:0

dgt

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

Stargazers:0Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gist

Potentially the best command line gister.

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

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.

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

homebrew

The missing package manager for OS X.

Language:RubyStargazers:0Issues:0Issues:0

hub

hub introduces git to GitHub

Language:RubyLicense:MITStargazers:0Issues:1Issues:0

libfabric

Open Fabric Interfaces

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mscgen_js

turns text into sequence charts

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

mscgenjs-cli

command line interface for mscgen_js

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ompi

Open MPI main development repository

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ompi-release

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

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pipe2pastebin

a tool that uploads text/files to codetrunk.com

Stargazers:0Issues:0Issues:0

prezto

The configuration framework for Zsh

Language:ShellStargazers:0Issues:0Issues:0

vimpager

Use ViM as PAGER

Language:ShellStargazers:0Issues:0Issues:0