Commenting without the comments

My personal dotfiles

an Emacs "jump to definition" package for 60+ languages

typeclass diagram for cats

Some katas for using docker

A Python project to visualize indels near Cas9 cutsites.

The Python programming language

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

A framework for formally verifying distributed systems implementations in Coq

A modern LaTeX Beamer theme

Dynamically record type signatures of Ruby methods.

Ruby ABIF reader

The EmacsNYC website: http://emacsnyc.org

Namely API Ruby Client