Giters

ztatlock / ztatlock.net

Zachary Tatlock's Academic Website

Home Page:https://ztatlock.net

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ztatlock.net

Zachary Tatlock's Academic Website

About

Zachary Tatlock's Academic Website

https://ztatlock.net

Languages

Language:TeX 69.5%Language:HTML 8.7%Language:Python 7.7%Language:CSS 7.7%Language:Makefile 4.2%Language:Shell 1.7%Language:JavaScript 0.4%