Name: Robin Schwartz
Type: User
Company: @testdouble
Bio: Consultant @testdouble, formerly @google and @thoughtbot. Enthusiastic about PLT, distributed systems, education, Ruby, Lisp, and formal verification.
Location: Vancouver, BC
Robin Schwartz's Projects
A super-simple bingo card generator.
A teeny tiny Scheme implemented in Ruby.
Dynamically record type signatures of Ruby methods.
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Project management tool for Emacs
The Colorado Mountain Club's Course Curriculum
"This manual documents Datalog version 2.2, a lightweight deductive database system."
Code for the Diaspora project site.
What are we doing this week?
A simple, fast command-line tool for searching and comparing text documents.
An Emacs tool for searching and comparing notes.
A simple, tested TF-IDF library for Ruby.
Let's be honest: mostly Emacs.
Configure the Elfeed RSS reader with an Orgmode file
Minor mode for defining and querying search engines through Emacs.
The minimalist-est compiler.
The "auto-Make-er"
Interactively select Ruby objects with rofi, dmenu, and friends!
A library for generating unbound variable names in Ruby.
XKCD geohashing algorithm
Creates a random sentence based on a defined grammar and vocabulary.
jQuery matchers and fixture loader for Jasmine framework
The URL lengthener.
A starting point for a latex paper, with a bibtex sample and a Makefile.
A template to create new presentation projects using LaTeX and Beamer