Pinned Repositories
chatterbox
A chat thingy
clock
Clock is a small library for mocking time in Go.
crypto-graphically
Experimental graph-based visual representation and proof method for cryptographic interactions
curve25519-verilog
Beginnings of a Verilog implementation of Curve25519.
dename
NameCoin-style names using consensus instead of proof of work
salsa20
An implementation of djb-s salsa20 in 45 lines of human-readable C code
torch
Probably not the TOR client you are looking for.
voteserver
bedrock2
A work-in-progress language and compiler for verified low-level programming
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
andres-erbsen's Repositories
andres-erbsen/salsa20
An implementation of djb-s salsa20 in 45 lines of human-readable C code
andres-erbsen/curve25519-verilog
Beginnings of a Verilog implementation of Curve25519.
andres-erbsen/pgpdmtx
Automated paper backups of OpenPGP keys using paperkey and Data Matrix barcodes
andres-erbsen/safecurves-primes
Checking the SafeCurves primes in Coq
andres-erbsen/sgp-c
Simply Good Privacy. PGP-like system without web of trust. At the moment "only" curve25519 is supported.
andres-erbsen/baseconvert
Convert between all bases 2..256 the most efficient way possible
andres-erbsen/chacha20-verilog
A Verilog implementation of ChaCha20
andres-erbsen/cogs
Dotfiles and small scripts mostly used in my laptop
andres-erbsen/sha3-verilog-mirror
Partial mirror of http://opencores.org/websvn,listing?repname=sha3&path=%2Fsha3%2Ftrunk%2F#path_sha3_trunk_ by Homer Hsing
andres-erbsen/sipb-pgpsign
Automatic PGP certification for MIT students
andres-erbsen/slock
andres-erbsen/tlstestutil
Utilities for writing tests using TLS, refactored out from github.com/andres-erbsen/dename
andres-erbsen/voteserver
andres-erbsen/coname-mit
andres-erbsen/dkim
Package dkim is a pure Go DKIM verification library.
andres-erbsen/fsmonitor
Mirror of https://github.com/romanoff/fsmonitor
andres-erbsen/go-dkim
DKIM package for golang
andres-erbsen/gostatic-PKGBUILD
Arch Linux PKGBUILD for https://github.com/piranha/gostatic/
andres-erbsen/grpc-go
The Go language implementation of gRPC. HTTP/2 based RPC
andres-erbsen/mit
Golang library for accessing the MIT web
andres-erbsen/notary
andres-erbsen/pbe
andres-erbsen/PKGBUILDs
andres-erbsen/pond
Pond
andres-erbsen/rooming
Room assignemt optimizer
andres-erbsen/sgp
andres-erbsen/umurmur
Minimalistic Murmur
andres-erbsen/verilog-dumbserial
andres-erbsen/xmpp-client
An XMPP client with OTR support
andres-erbsen/ykneo-ccid-tools-PKGBUILD