Pinned Loading

1. cometbft/cometbft cometbft/cometbft Public

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

   Go 894 804

2. informalsystems/hermes informalsystems/hermes Public

   IBC Relayer in Rust

   Rust 502 402

3. ethereum/go-ethereum ethereum/go-ethereum Public

   Go implementation of the Ethereum protocol

   Go 51.1k 21.9k

4. CoinCulture/evm-tools CoinCulture/evm-tools Public

   Ethereum Virtual Machine tools and guide

   Go 450 105

5. quint-co/quint quint-co/quint Public

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

   TypeScript 1.5k 131

6. informalsystems/quartz informalsystems/quartz Public

   Secure SGX Sidecar for CosmWasm

   Rust 62 9