Skip to content
Avatar

Achievements

Achievements

Organizations

@golang @mit-pdos @xmonad @vuvuzela
Block or Report

Block or report davidlazar

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.

Report abuse

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

Report abuse

Pinned

  1. Private messaging system that hides metadata

    Go 2.4k 197

  2. Bootstrapping Secure Communication without Leaking Metadata

    Go 65 5

  3. seal Public

    Easily encrypt files, notes, and passwords

    Go 17 2

  4. jotmuch Public

    Jotmuch bookmark manager

    Python 69 10

  5. Formal semantics of LLVM IR in K

    LLVM 42 9

  6. supergit Public

    Manage many git repos as one

    Go 3

512 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to algorand/go-sumhash, davidlazar/endurance, algorand/paralithium and 4 other repositories

Contribution activity

October 2021

11 contributions in private repositories Oct 4 – Oct 7

Seeing something unexpected? Take a look at the GitHub profile guide.