Pinned Loading

1. malachite malachite Public

   Flexible BFT consensus engine in Rust

   Rust 237 30

2. quint quint Public

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

   TypeScript 942 75

3. quartz quartz Public

   Secure SGX Sidecar for CosmWasm

   Rust 42 5

4. hydro hydro Public

   A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.

   Rust 10 4

5. hermes hermes Public

   IBC Relayer in Rust

   Rust 478 383