Pinned Repositories
FPBench
A standard for floating point accuracy benchmarks
herbie
Optimize floating-point expressions for accuracy
crossbot
A slackbot to compete on mini crosswords (or any other daily challenge).
herbgrind
A Valgrind tool for Herbie
incarnate-exploration-archive
PL for 3D Printing
verdi
A framework for formally verifying distributed systems implementations in Coq
algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
boxer
punch card programming
clip
crosscut
ztatlock's Repositories
ztatlock/crosscut
ztatlock/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
ztatlock/boxer
punch card programming
ztatlock/clip
ztatlock/pec
ztatlock/spark
HTML5 music player
ztatlock/vapor.cab
vapor.cab
ztatlock/c-haiku
Preprocessor poetry.
ztatlock/catechism
ztatlock/crossbot
A slackbot to compete on mini crosswords (or any other daily challenge).
ztatlock/dotfiles
configurations
ztatlock/ezpzPDG
Generate G-Code program for drilling holes
ztatlock/herbie-stats
ztatlock/hooknook
a little place for your deployments
ztatlock/ofcourse
course events template
ztatlock/pnw-plse
Programming Languages and Software Engineering in the Pacific Northwest
ztatlock/sidewinder
ztatlock/simple-life
ML example using Conway's Game of Life
ztatlock/starwark
StarWark
ztatlock/symmetry
ztatlock/ztatlock
Zachary Tatlock
ztatlock/ztatlock.github.io
Zachary Tatlock's Website
ztatlock/ztatlock.net
Zachary Tatlock's Academic Website