gtanzer (Garrett Tanzer) · GitHub
Skip to content
View gtanzer's full-sized avatar

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

Popular repositories Loading

  1. verse verse Public

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

    Coq 7

  2. zk zk Public

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

    C 3

  3. sort sort Public

    a formally verified mergesort implementation in Coq

    Coq 1 1

  4. chimera chimera Public

    C

  5. cs260r-17 cs260r-17 Public

    Forked from readablesystems/cs260r-17

    Main repository for Harvard CS260r 2017.

    Coq

  6. tangled-curl tangled-curl Public

    Forked from mit-dci/tangled-curl

    IOTA's hash function curl is broken

    Go