atomkraft-cosmos
Test framework
Automated testing framework for Cosmos SDK blockchains using TLA+ models
11 stars
7 watching
1 forks
Language: TLA
last commit: almost 2 years ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| informalsystems/multisig | Manages multisig transactions across multiple Cosmos SDK chains and keys using an S3 bucket | 36 |
 cosmos-client/cosmos-client-ts | A REST API client for interacting with the Cosmos SDK blockchain | 36 |
 cosmosregistry/example | An example module for the v0.52.x Cosmos SDK | 29 |
 abstractsdk/abstract | A modular framework for building secure, composable, and interoperable on-chain applications | 62 |
 0x706972686f/phantasm | A Python-based test automation framework for Splunk Phantom playbooks. | 11 |
 cosmos/cosmos | An initiative exploring proof-of-stake blockchain consensus algorithms and their applications. | 1,271 |
 jpzk/mockedstreams | A Scala library for unit-testing Kafka Streams applications without Zookeeper and Kafka Brokers | 187 |
| cosmosregistry/chain-minimal | A minimal template for building a Cosmos SDK chain with reduced boilerplate code | 68 |
 mttkay/calculon | A testing DSL for Android views and activities | 147 |
 tokenika/eosfactory | Automates smart-contract testing and deployment on EOSIO blockchain | 243 |
 msmolyakov/paddle | A Java framework to write tests for smart contracts and dApps on the Waves blockchain | 12 |
| cosmos/cosmjs | A comprehensive JavaScript library for building blockchain-based client solutions | 654 |
 zhangyelong/cosmos-dashboard | A dashboard for monitoring Cosmos-based blockchains | 36 |
 node-a-team/cosmos-ie | An integrated exporter for monitoring CosmosSDK chain data | 18 |
 ctrl-felix/cosmospy-protobuf | A Python library providing a unified interface to Cosmos Protobuf APIs for querying blockchain data. | 19 |