davidlazar

MIT CSAILSeattle, WA

Pinned Repositories

base64
High-assurance base64
Language:C103 9 010
jotmuch
Jotmuch bookmark manager
Language:Python68 6 310
kebab
secure backup tool (not maintained)
Language:Go17 5 03
llvm-semantics
Formal semantics of LLVM IR in K
Language:LLVM43 11 09
PircBot
Java IRC bot framework
Language:Java25 6 517
pwclip
Hash-based password manager
Language:Go19 5 02
seal
Easily encrypt files, notes, and passwords
Language:Go17 3 01
supergit
Manage many git repos as one
Language:Go4 4 01
alpenhorn
Bootstrapping Secure Communication without Leaking Metadata
Language:Go74 9 107
vuvuzela
Private messaging system that hides metadata
Language:Go2.5k 151 52184

davidlazar's Repositories

davidlazar/musl
Fork of musl adapted for the semantics of LLVM
Language:C4 4 02
davidlazar/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell3 0
davidlazar/core
Parser and pretty printer for GHC's external core.
Language:Haskell3 0
davidlazar/pandoc
Universal markup converter
Language:Haskell3 0