summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterPublish 'Modeling a Resource Pool' describing my experience using TLA+Casey Robinson8 days
projects_gridresponsive layout for mobile and tabletsCasey Robinson21 months
sauron-configsauron work in progress...Casey Robinson21 months
strangeloop_postmy thoughts on formal methods after first half of tla+ conferenceCasey Robinson8 days