dwoos

dwoos's Stars

• Homebrew/legacy-homebrew

  💀 The former home of Homebrew/homebrew (deprecated)

  27k92217k11.3k

• uwplse/verdi

  A framework for formally verifying distributed systems implementations in Coq

  Language:Coq601662556

• recurly/recurly-client-python

  Recurly Python Client

  Language:Python937112878

• codequarterly/cq-challenge-markup

  Code Quarterly Code Challenge -- Markup

  481017

• gamechanger/resched

  Light-weight Job Scheduling on Redis, in Python

  Language:Python213904

• mwillsey/crossbot

  A slackbot to compete on mini crosswords (or any other daily challenge).

  Language:Python165448

• dwoos/christmas-tree

  Output a christmas tree if appropriate

  Language:Shell6212

• gamechanger/hackery.py

  Hackery, In the Best Way

  Language:Python31601

• dwoos/char-mode

  Extensions to org-mode to enable RPG character tracking

  Language:Emacs Lisp10

• dwoos/cq-challenge-markup

  Code Quarterly Code Challenge -- Markup

  1200

• dwoos/hackery.py

  Hackery, In the Best Way

  Language:Python1200

• dwoos/homebrew

  The missing package manager for OS X.

  Language:Ruby1201

• dwoos/recurly-client-python

  Recurly Python Client

  Language:Python1200

• dwoos/resched

  Light-weight Job Scheduling on Redis, in Python

  Language:Python10

• dwoos/rps

  Language:Python10