Backend engineer, armchair algebraist, programming language theory enthusiast
remote_ip. A plug to rewrite the Plug.Conn's remote_ip based on forwarding headers.
280xand. One or the other are both true
9git-topics. A collection of git commands to manage independent topic branches
8bitwise_ip. Efficient IP address operations using bitwise arithmetic
5vondark. My personal Vim color scheme
3countdown. Solving a British TV Game Show
2git-fix. A git command to open merge conflicts in Vim's quickfix list
2problem0. Fall 2011 Cal Poly code golf contest
1thesis. Global Value Numbering in Factor
1coq.
1euclid. A minimalist zsh prompt
1factor. Factor programming language - Github mirror of official GIT repo
1