summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterremove 'correct' from the things I enjoy.Casey Robinson11 days
projects_gridresponsive layout for mobile and tabletsCasey Robinson17 months
sauron-configsauron work in progress...Casey Robinson17 months
strangeloop_postmy thoughts on formal methods after first half of tla+ conferenceCasey Robinson3 days
website-cleanupfirst pass at deleting website clutterCasey Robinson7 months