Language Breakdown
Lines of code distribution across 36 owned repositories
Pi-Shaped Developer
π-shapedTwo strong pillars: Python & TLA
Collaboration Network
Global Impact visualization
Repos
54
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Randy
@randyrants
Katherine Crowson
@crowsonkb
Cassie Jones
@porglezomp
chris sm
@daiyi
James J Porter
@porterjamesj
Top Repositories
For when people get too hyped up about things
Proving leftpad correct two-dozen different ways
A TLA+ guide
Learn TLA+ for free! No prior experience necessary!
Some of my AutoHotKey scripts
A script for running TLA+/TLC from the command line
Proposed documentation for alloytools.org
Let's explain all the hacker test questions!
A quick lambda script that forwards sns messages to slack
A demo of analyzing a TLA+ state graph
Open Source Impact
Contributions to external projects
