edc/bass
fisherman/bobthefish
fisherman/getopts
fisherman/grc
fisherman/nvm
fisherman/shark