PinnedLoading

1. cometbft/cometbftcometbft/cometbftPublic

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

   Go 859 769

2. informalsystems/hermesinformalsystems/hermesPublic

   IBC Relayer in Rust

   Rust 489 394

3. ethereum/go-ethereumethereum/go-ethereumPublic

   Go implementation of the Ethereum protocol

   Go 50.8k 21.8k

4. CoinCulture/evm-toolsCoinCulture/evm-toolsPublic

   Ethereum Virtual Machine tools and guide

   Go 448 105

5. informalsystems/quintinformalsystems/quintPublic

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

   TypeScript 1.2k 111

6. informalsystems/quartzinformalsystems/quartzPublic

   Secure SGX Sidecar for CosmWasm

   Rust 59 8