Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.
☆25Mar 17, 2026Updated 4 months ago
Alternatives and similar repositories for emerald
Users that are interested in emerald are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Choreograph distributed protocols in Quint.☆15Jun 23, 2026Updated last month
- Security Audits by Informal Systems☆21Feb 27, 2026Updated 5 months ago
- A model-based testing framework for Quint + Rust☆73May 25, 2026Updated 2 months ago
- Yet Another Cosmos Indexer☆18Jul 20, 2026Updated 3 weeks ago
- Flexible BFT consensus engine in Rust☆441Jul 28, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Malachite as consensus engine for Ethereum execution clients via Engine API☆25Jun 18, 2026Updated last month
- Plug-and-play fee market module for Cosmos SDK chains☆31Apr 23, 2026Updated 3 months ago
- Secure SGX Sidecar for CosmWasm☆63Feb 24, 2026Updated 5 months ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- bazel-bats: bazel test rules for the BATS testing framework (based on bats-core)☆12Updated this week
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,595Jul 20, 2026Updated 3 weeks ago
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆85Apr 6, 2023Updated 3 years ago
- Comprehensively and confidently navigating Endometriosis and Adenomyosis and their comorbidities. #MaintainerMonth☆14Jul 27, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19Updated this week
- 🐣 Registries toolbox & update notifications for your CLI☆14Jul 4, 2021Updated 5 years ago
- An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities☆41Jul 17, 2023Updated 3 years ago
- Ansible roles for deploying Zencash Secure/Super Nodes on LXC containers with IPv6☆13Nov 20, 2021Updated 4 years ago
- Formal specification and verification of Vyper☆39Updated this week
- Modular, byzantine-fault-tolerant consensus engine☆20Feb 3, 2026Updated 6 months ago
- Analyze and Detect broken and malicious JS/TS modules.☆12Oct 24, 2020Updated 5 years ago
- 🔗 An Arweave tag specification for cross-chain wallet linking☆11Jul 27, 2023Updated 3 years ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Jun 21, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is a solidity implementation of IBC v2.☆104Updated this week
- 📚 Utilities for the Verto Exchange Network☆12Aug 10, 2021Updated 5 years ago
- ☆89Updated this week
- A bot for ticketmaster☆13Apr 24, 2020Updated 6 years ago
- ☆10Jun 1, 2023Updated 3 years ago
- CometBFT team public knowledge base. Always a work-in-progress.☆17May 15, 2024Updated 2 years ago
- A temporary fork of the original Tendermint Core repository (please use CometBFT instead)☆17Mar 11, 2024Updated 2 years ago
- e2e testing framework for the interchain☆197Feb 11, 2026Updated 5 months ago
- Detect or infer the Anchor, Solana, and Rust versions needed for an Anchor project.☆14Jul 13, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tool for crashing blockchain nodes☆38Mar 7, 2025Updated last year
- Eth2 light client implementation as a cosmwasm smart contract☆11Nov 24, 2023Updated 2 years ago
- Drop-in replacement for CometBFT in end-to-end tests☆23Mar 15, 2024Updated 2 years ago
- open tracing for cosmos apps☆10May 5, 2025Updated last year
- Audit npm packages for security, maintenance, licenses and dependencies. Recommends install or write-from-scratch.☆15Updated this week
- All we want is revm and commonware. Leave everything else at the door.☆57May 30, 2026Updated 2 months ago
- Cosmos Operator is a kubernetes operator for managing cosmos nodes☆101Apr 11, 2026Updated 3 months ago