-
MIT CSAIL
- Cambridge, MA
- https://davidlazar.org
-
-
circ Public
Forked from circify/circ(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Rust Other UpdatedOct 17, 2022 -
simon-and-speck Public
Cryptol specification of the Simon and Speck block ciphers
-
-
-
endurance Public
Bot for announcing activities (runs, hikes, ...) to Slack and Keybase
-
go-keybase-chat-bot Public
Forked from keybase/go-keybase-chat-botgolang exploration keybase chat JSON API
-
-
kebab Public
secure backup tool (not maintained)
-
-
-
-
seal Public
Easily encrypt files, notes, and passwords
-
-
opus Public
Forked from hraban/opusGo wrapper for libopus (golang)
Go MIT License UpdatedMar 27, 2019 -
google-maps-services-go Public
Forked from googlemaps/google-maps-services-goGo client library for Google Maps API Web Services
Go Apache License 2.0 UpdatedOct 18, 2018 -
-
-
git-multimail Public
Forked from git-multimail/git-multimailSend notification emails for pushes to a git repository (an improved version of post-receive-mail)
Python Other UpdatedJun 21, 2018 -
-
accumulator Public
Cryptographic accumulator
-
maude-hs Public
A Haskell interface to the Maude rewriting system
-
-
elk-docker Public
Deploy a secure ELK stack using Docker and LetsEncrypt
-
easyjson Public
Forked from mailru/easyjsonFast JSON serializer for golang.
-
mapstructure Public
Forked from mitchellh/mapstructureGo library for decoding generic map values into native Go structures.
Go MIT License UpdatedSep 6, 2017 -
-
-
-