Garrett Tanzer's repositories
attribution-reporting-api
Attribution Reporting API
Language:BikeshedNOASSERTION000
Language:C000
Apache-2.0000
coq
miscellaneous projects in Coq
Language:Coq000
000
cs260r-17
Main repository for Harvard CS260r 2017.
Language:Coq000
fenced-frame
Proposal for a strong boundary between a page and its embedded content
Language:BikeshedNOASSERTION000
regex
a formally verified regular expression matcher, implemented in Gallina and specified in Coq
Language:Coq000
namedtensor
Proof of concept for a dynamic named tensor for pytorch
Language:Jupyter NotebookMIT000
papers
Papers that aren't rooted in other repositories.
000
Language:C#000
shared-storage
Explainer for proposed web platform Shared Storage API
NOASSERTION000
tangled-curl
IOTA's hash function curl is broken
Language:Go000
topics
The Topics API
NOASSERTION000
turtledove
TURTLEDOVE
Language:BikeshedNOASSERTION000
Language:OCaml000