ebuchman
Internet Biophysicist. @informalsystems @cosmos @cometbft @CoinCulture
Informal SystemsGuelph, Ontario
Pinned Repositories
evm-tools
Ethereum Virtual Machine tools and guide
cometbft
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
go-rpc-gen
generate client libraries for your rpc servers
go-shell-pipes
enhanced exec.Command to support shell pipes
thesis
understanding_ethereum_trie
go-ethereum
Go implementation of the Ethereum protocol
hermes
IBC Relayer in Rust
tendermint-rs
Client libraries for Tendermint/CometBFT in Rust!
ebuchman's Repositories
ebuchman/understanding_ethereum_trie
ebuchman/thesis
ebuchman/pharrell
parallel ssh and scp in golang
ebuchman/tanuki
Tanuki's Debut Album
ebuchman/new-server
Simple and secure setup for a new server
ebuchman/bloke
golang blog/webpage generator with ajax bubbles
ebuchman/shit-harper-did
To document how Stephan Harper is the worst Prime Minister in Canadian history
ebuchman/got
For things to do with git and go
ebuchman/crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
ebuchman/etcd-launch
Launch a TLS secured etcd cluster over docker-machine
ebuchman/gopi
pi calculus in golang
ebuchman/gosec
Golang security checker
ebuchman/pi2go
Compile pi calculus expressions to golang
ebuchman/rates
Calculate exchange rates
ebuchman/resume
The Markdown Resume
ebuchman/Bacteria
pillae driven bacterial motility
ebuchman/blog
ebuchman/bounties
ebuchman/CIPs-1
ebuchman/eth-client
Command line interfaces for low-level conversations with ethereum chains
ebuchman/ethsign
Sign ethereum transactions
ebuchman/fail-test
ebuchman/governance
Resources for Cosmos governance
ebuchman/ics23
Building generic merkle proof format for IBC
ebuchman/liquidity-staking-module
ebuchman/Open-Grants-Program
Web3 Foundation Open Grants Program
ebuchman/practical-fm
A gently curated list of companies using verification formal methods in industry
ebuchman/slmc
Examples of pi-calculus processes and their properties using the Spatial Logic Model Checker
ebuchman/terraforce
SSH and SCP for terraform infrastructure
ebuchman/theano-rnn
Demonstration of recurrent neural network implemented with Theano