ztatlock

Zachary Tatlock's repositories

crosscut

Language:Standard ML3 10

algorithmic-software-verification

Course Materials for Graduate Class on Algorithmic Software Verification

Language:Haskell1 10

boxer

punch card programming

Language:OCaml100

clip

Language:Python1 20

dotfiles

configurations

Language:Shell100

pec

Language:OCaml1 1 1

spark

HTML5 music player

Language:JavaScript1 20

vapor.cab

Language:Shell1 5 1

c-haiku

Preprocessor poetry.

Language:C000

catechism

Language:HTML000

crossbot

A slackbot to compete on mini crosswords (or any other daily challenge).

Language:PythonGPL-3.0010

ezpzPDG

Generate G-Code program for drilling holes

Language:HTML000

herbie-stats

Language:Shell000

hooknook

a little place for your deployments

Language:Python000

ofcourse

course events template

Language:HTML000

pnw-plse

Programming Languages and Software Engineering in the Pacific Northwest

010

sidewinder

Language:ReasonMIT000

simple-life

ML example using Conway's Game of Life

Language:OCaml010

starwark

StarWark

Language:OCaml010

symmetry

000

ztatlock

Zachary Tatlock

020

ztatlock.github.io

Zachary Tatlock's Website

Language:JavaScript010

ztatlock.net

Zachary Tatlock's Academic Website

Language:TeX020