Skip to content
Avatar
358 followers · 17 following · 79

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

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. vuvuzela/vuvuzela Public

    Private messaging system that hides metadata

    Go 2.4k 197

  2. vuvuzela/alpenhorn Public

    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. llvm-semantics Public

    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
Learn how we count contributions
Less More
Activity overview
Contributed to algorand/go-sumhash, davidlazar/endurance, algorand/paralithium and 4 other repositories

Contribution activity

October 2021

Created 8 commits in 3 repositories
11 contributions in private repositories Oct 4 – Oct 7

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