Charles Hoskinson's starred repositories
haskell-semantics
Formal semantics of Haskell in K
naivechain
A blockchain implementation in 200 lines of code
Scorex-Lagonaki
Ultra-compact cryptocurrency engine for hacking around within just 4K lines of Scala code
haskoin-wallet
Implementation of a Bitcoin hierarchical deterministric wallet (BIP32) in Haskell
mailvelope
Browser extension for OpenPGP encryption with Webmail
rc_openpgpjs
OpenPGP for Roundcube via JavaScript