Robin Schwartz
hrs
Consultant @testdouble, formerly @google and @thoughtbot. Enthusiastic about PLT, distributed systems, education, Ruby, Lisp, and formal verification.
Languages
Top Repositories
Let's be honest: mostly Emacs.
Minor mode for defining and querying search engines through Emacs.
An extremely simple Python library to perform TF-IDF document comparison.
A simple, modular collection of better Emacs default settings.
Generates a random, locally-correct sentence using textual input and a Markov model.
:seedling: Actual food recipes. All vegetarian, mostly vegan, mostly tasty.
Repositories
48An Emacs tool for searching and comparing notes.
Let's be honest: mostly Emacs.
An extremely simple Python library to perform TF-IDF document comparison.
A simple, modular collection of better Emacs default settings.
Interactively select Ruby objects with rofi, dmenu, and friends!
Minor mode for defining and querying search engines through Emacs.
A simple, fast command-line tool for searching and comparing text documents.
A teeny tiny Scheme implemented in Ruby.
:seedling: Actual food recipes. All vegetarian, mostly vegan, mostly tasty.
Generates a random, locally-correct sentence using textual input and a Markov model.
A library for generating unbound variable names in Ruby.
A starting point for a latex paper, with a bibtex sample and a Makefile.
A super-simple bingo card generator.
Creates a random sentence based on a defined grammar and vocabulary.
The Tractatus Logico-Philosophicus, in org-mode.
Let this unfeeling program name your loved ones.
Viral Avian Marketing
No description provided.
Scripts for building Emacs packages from Version Control
Project management tool for Emacs
Web application for selecting primers.
What are we doing this week?
No description provided.
Verification-condition-generation-based verifier for the Viper intermediate verification language.
No description provided.
The Colorado Mountain Club's Course Curriculum
Sample poker game simulator from Metis.
A template to create new presentation projects using LaTeX and Beamer
Pretty minimal implementation of the trie data structure in Ruby.
XKCD geohashing algorithm