prattmic Goto Github PK

goswarm

A wrapper tool for gomote that runs a command in a loop on >1 instance.

gvisor

Container Runtime Sandbox

gvrun

Simple sandboxing with gVisor

hematite

histogram

Helpers for working with runtime/metrics histograms

htmledit

Strip HTML elements from documents

icfp2013

icfp2015

MIRI Fan Club ICFP 2015 entry

lc-3b

LC-3b CPU in Verilog

lesser

A minimal less reimplementation

lights

STM32F4-powered Christmas lights

llgo

LLVM-based compiler for Go

llgo-embedded

Running Go on ARM microcontrollers

lm4tools

Tools to enable multi-platform development on the TI Stellaris Launchpad boards

ms-tea-430

Smart tea pot design

nabla-containers.github.io

Nabla Containers blog

nanopb

Protocol Buffers with small code size

ncsu-schedule-parser

Parses NCSU class schedules for manipulation (like adding to Google Calendar)

netbsd-src

Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

opencv

Open Source Computer Vision Library

openocd

Personal fork of http://sourceforge.net/p/openocd/code/

panda-cub

Panda Cub, a tiny OS-like thing for the PandaBoard

parcel-mapping

Mapping parcel data on Google Maps

pianobar

Console-based pandora.com player

pprof

pprof is a tool for visualization and analysis of profiling data

protobuf

Protocol Buffers - Google's data interchange format

racket-lambdman

Implementing parts of ICFP 2014 in Racket, as a learning excercise

replacebot

IRC bot that automatically performs "s/regex/replace" corrections for users

restic

Fast, secure, efficient backup program