Ethan Buchman ebuchman

• Informal Systems

• Guelph, Ontario
• https://ebuchman.github.io/

Organizations

Pinned Loading

1. CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

   Go 915 823

2. IBC Relayer in Rust

   Rust 506 398

3. Go implementation of the Ethereum protocol

   Go 51.3k 22.1k

4. Ethereum Virtual Machine tools and guide

   Go 447 104

5. An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

   TypeScript 1.6k 143

6. Secure SGX Sidecar for CosmWasm

   Rust 63 9