Pinned Repositories
base64
High-assurance base64
jotmuch
Jotmuch bookmark manager
kebab
secure backup tool (not maintained)
llvm-semantics
Formal semantics of LLVM IR in K
PircBot
Java IRC bot framework
pwclip
Hash-based password manager
seal
Easily encrypt files, notes, and passwords
supergit
Manage many git repos as one
alpenhorn
Bootstrapping Secure Communication without Leaking Metadata
vuvuzela
Private messaging system that hides metadata
davidlazar's Repositories
davidlazar/jotmuch
Jotmuch bookmark manager
davidlazar/PircBot
Java IRC bot framework
davidlazar/pwclip
Hash-based password manager
davidlazar/seal
Easily encrypt files, notes, and passwords
davidlazar/kebab
secure backup tool (not maintained)
davidlazar/rig
random identity generator
davidlazar/accumulator
Cryptographic accumulator
davidlazar/elk-docker
Deploy a secure ELK stack using Docker and LetsEncrypt
davidlazar/go-crypto
Cryptographic packages for Go
davidlazar/flycrypt
Quickly encrypt strings
davidlazar/hpygments
Highlight source code using Pygments
davidlazar/acme-nano
Tool for generating HTTPS certificates
davidlazar/endurance
Bot for announcing activities (runs, hikes, ...) to Slack and Keybase
davidlazar/maude-hs
A Haskell interface to the Maude rewriting system
davidlazar/supergit
Manage many git repos as one
davidlazar/go-libyaml
Go bindings to LibYAML
davidlazar/list-all-tabs
List tabs, find duplicates, and close them
davidlazar/simon-and-speck
Cryptol specification of the Simon and Speck block ciphers
davidlazar/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
davidlazar/clipboard
Manipulate the system clipboard from Go
davidlazar/dilithium
davidlazar/easyjson
Fast JSON serializer for golang.
davidlazar/ed25519
davidlazar/falcon
davidlazar/git-multimail
Send notification emails for pushes to a git repository (an improved version of post-receive-mail)
davidlazar/go-keybase-chat-bot
golang exploration keybase chat JSON API
davidlazar/google-maps-services-go
Go client library for Google Maps API Web Services
davidlazar/mapstructure
Go library for decoding generic map values into native Go structures.
davidlazar/opus
Go wrapper for libopus (golang)
davidlazar/wordenc