The Wayback Machine - http://web.archive.org/web/20220601180935/https://github.com/davidlazar
Skip to content
Avatar
369 followers · 17 following

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 199

  2. vuvuzela/alpenhorn Public

    Bootstrapping Secure Communication without Leaking Metadata

    Go 68 7

  3. seal Public

    Easily encrypt files, notes, and passwords

    Go 16 2

  4. jotmuch Public

    Jotmuch bookmark manager

    Python 67 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 4 1

280 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to algorand/go-sumhash, davidlazar/falcon, algorand/falcon and 6 other repositories

Contribution activity

June 1, 2022

17 contributions in private repositories Jun 1

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