Giters
Zachary Tatlock (ztatlock)

ztatlock

Geek Repo

143

followers

39

following

55

stars

Company:University of Washington

Location:Seattle, WA

Home Page:https://ztatlock.net

Twitter:@ztatlock

Github PK Tool:Github PK Tool

Organizations
DistributedComponents
egraphs-good
FPBench
PNWPLSE
proofengineering
raceconditionrunning
uwplse
uwsampl

Zachary Tatlock's following

Previous