hrs

Consultant @testdouble, formerly @google and @thoughtbot. Enthusiastic about PLT, distributed systems, education, Ruby, Lisp, and formal verification.

@testdoubleVancouver, BC

Pinned Repositories

docsim
A simple, fast command-line tool for searching and comparing text documents.
Language:Go17 1 80
docsim.el
An Emacs tool for searching and comparing notes.
Language:Emacs Lisp16 1 41
dotfiles
Let's be honest: mostly Emacs.
Language:Shell620 34 4285
engine-mode
Minor mode for defining and querying search engines through Emacs.
Language:Emacs Lisp278 6 3523
fuzz
Interactively select Ruby objects with rofi, dmenu, and friends!
Language:Ruby13 0 11
markov-sentence-generator
Generates a random, locally-correct sentence using textual input and a Markov model.
Language:Python96 7 227
python-tf-idf
An extremely simple Python library to perform TF-IDF document comparison.
Language:Python244 19 396
recipes
:seedling: Actual food recipes. All vegetarian, mostly vegan, mostly tasty.
45 2 07
sensible-defaults.el
A simple, modular collection of better Emacs default settings.
Language:Emacs Lisp100 7 624
tractatus-logico-org
The Tractatus Logico-Philosophicus, in org-mode.
14 0 07

hrs's Repositories

hrs/dotfiles
Let's be honest: mostly Emacs.
Language:Shell620 34 4285
hrs/engine-mode
Minor mode for defining and querying search engines through Emacs.
Language:Emacs Lisp278 6 3523
hrs/python-tf-idf
An extremely simple Python library to perform TF-IDF document comparison.
Language:Python244 19 396
hrs/sensible-defaults.el
A simple, modular collection of better Emacs default settings.
Language:Emacs Lisp100 7 624
hrs/markov-sentence-generator
Generates a random, locally-correct sentence using textual input and a Markov model.
Language:Python96 7 227
hrs/recipes
:seedling: Actual food recipes. All vegetarian, mostly vegan, mostly tasty.
45 2 07
hrs/docsim
A simple, fast command-line tool for searching and comparing text documents.
Language:Go17 1 80
hrs/docsim.el
An Emacs tool for searching and comparing notes.
Language:Emacs Lisp16 1 41
hrs/tractatus-logico-org
The Tractatus Logico-Philosophicus, in org-mode.
14 0 07
hrs/fuzz
Interactively select Ruby objects with rofi, dmenu, and friends!
Language:Ruby13 0 11
hrs/bingo
A super-simple bingo card generator.
Language:Python9 0 18
hrs/latex-paper-template
A starting point for a latex paper, with a bibtex sample and a Makefile.
Language:TeX9 2 05
hrs/kilobytely
The URL lengthener.
Language:Ruby7 1 14
hrs/blueprint
A teeny tiny Scheme implemented in Ruby.
Language:Ruby5 2 371
hrs/do-by-thursday
What are we doing this week?
3 1 0
hrs/gensym
A library for generating unbound variable names in Ruby.
Language:Ruby3 0 0
hrs/pet-names
Let this unfeeling program name your loved ones.
Language:JavaScript2 1 01
hrs/primer-finder
Web application for selecting primers.
Language:Ruby2 1 242
hrs/bringhurst
Dynamically record type signatures of Ruby methods.
Language:Ruby1 1 10
hrs/cmc-curriculum
The Colorado Mountain Club's Course Curriculum
Language:Makefile1 1 0
hrs/melpa
Scripts for building Emacs packages from Version Control
Language:Emacs Lisp1 0 0
hrs/squawkbox.io
Viral Avian Marketing
Language:HTML1 0 01
hrs/topological-sort
Simple recursive implementation of a topological sort in Ruby.
Language:Ruby1 1 41
hrs/bank-ocr-kata
Language:Ruby0 0
hrs/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Language:Scala0 0
hrs/datalog-user-manual
"This manual documents Datalog version 2.2, a lightweight deductive database system."
Language:Makefile0 0
hrs/elfeed-org
Configure the Elfeed RSS reader with an Orgmode file
Language:Emacs Lisp0 0
hrs/homebrew-docsim
Language:Ruby1 0
hrs/indel-mapper
Language:Python1 28
hrs/service-test
1 0