ajvondrak
Backend engineer, armchair algebraist, programming language theory enthusiast
Los Angeles, CA
Pinned Repositories
bitwise_ip
Efficient IP address operations using bitwise arithmetic
coq
countdown
Solving a British TV Game Show
csupomona
A snapshot of my instructor website from my time at Cal Poly Pomona
factor
Factor programming language - Github mirror of official GIT repo
git-topics
A collection of git commands to manage independent topic branches
remote_ip
A plug to rewrite the Plug.Conn's remote_ip based on forwarding headers.
thesis
Global Value Numbering in Factor
vondark
My personal Vim color scheme
xand
One or the other are both true
ajvondrak's Repositories
ajvondrak/coq
ajvondrak/buckets
Simple programming puzzle for a job interview.
ajvondrak/thesis
Global Value Numbering in Factor