Skip to content
View gtanzer's full-sized avatar
10 followers · 0 following
  • Google Chrome

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report gtanzer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • turtledove Public

    Forked from WICG/turtledove

    TURTLEDOVE

    Bikeshed Other Updated Aug 19, 2024

  • topics Public

    Forked from patcg-individual-drafts/topics

    The Topics API

    Bikeshed Other Updated Sep 8, 2023

  • attribution-reporting-api Public

    Forked from WICG/attribution-reporting-api

    Attribution Reporting API

    Bikeshed Other Updated Sep 8, 2023

  • chromium-ads-detection Public

    Forked from chromium/chromium-ads-detection
    Apache License 2.0 Updated Mar 22, 2023

  • fenced-frame Public

    Forked from WICG/fenced-frame

    Proposal for a strong boundary between a page and its embedded content

    Bikeshed Other Updated Mar 7, 2023

  • shared-storage Public

    Forked from WICG/shared-storage

    Explainer for proposed web platform Shared Storage API

    Bikeshed Other Updated Dec 13, 2022

  • papers Public

    Papers that aren't rooted in other repositories.

    Updated Aug 23, 2021

  • chimera Public

    C Updated Aug 23, 2021

  • cs226 Public

    Updated May 4, 2020

  • verse Public

    My undergraduate thesis on verified program synthesis, and specifying DSLs for programming by example—by example.

    Coq 7 Updated Apr 20, 2020

  • prose-example Public

    C# Updated Feb 28, 2020

  • verse-hci Public

    OCaml Updated Dec 14, 2019

  • pop4 Public

    A probabilistic algorithm to communicate dynamic-length profiling information along a particular network flow with constant-size packets

    Mathematica Updated Dec 11, 2019

  • namedtensor Public

    Forked from harvardnlp/namedtensor

    Proof of concept for a dynamic named tensor for pytorch

    Jupyter Notebook MIT License Updated Feb 25, 2019

  • coq Public

    miscellaneous projects in Coq

    Coq Updated Oct 6, 2018

  • regex Public

    a formally verified regular expression matcher, implemented in Gallina and specified in Coq

    Coq Updated Sep 20, 2018

  • sort Public

    a formally verified mergesort implementation in Coq

    Coq 1 1 Updated Sep 20, 2018

  • zk Public

    a toy implementation in C of the zero knowledge proof protocol for the Hamiltonian Cycle problem

    C 3 Updated Mar 21, 2018

  • tangled-curl Public

    Forked from mit-dci/tangled-curl

    IOTA's hash function curl is broken

    Go Updated Sep 7, 2017

  • cs260r-17 Public

    Forked from readablesystems/cs260r-17

    Main repository for Harvard CS260r 2017.

    Coq Updated Apr 25, 2017