Ethan Buchman's repositories
new-server
Simple and secure setup for a new server
shit-harper-did
To document how Stephan Harper is the worst Prime Minister in Canadian history
crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
etcd-launch
Launch a TLS secured etcd cluster over docker-machine
CC0-1.0000
eth-client
Command line interfaces for low-level conversations with ethereum chains
governance
Resources for Cosmos governance
ics23
Building generic merkle proof format for IBC
Language:JavaScriptNOASSERTION000
Language:GoNOASSERTION000
Open-Grants-Program
Web3 Foundation Open Grants Program
practical-fm
A gently curated list of companies using verification formal methods in industry
terraforce
SSH and SCP for terraform infrastructure
theano-rnn
Demonstration of recurrent neural network implemented with Theano