Alternatives and similar repositories for cosmwasm-to-quint

Users that are interested in cosmwasm-to-quint are comparing it to the libraries listed below

• informalsystems / atomkraft
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆84Updated 2 years ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆41Updated 2 weeks ago
• CosmWasm / cw-multi-test
  CosmWasm multi-contract testing framework
  ☆52Updated 2 weeks ago
• nymlab / vectis
  The Foundation for Compliant Self-sovereign Wallets
  ☆41Updated last year
• freespek / solarkraft
  Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
  ☆12Updated 2 months ago
• cosmos / gosec
  ☆19Updated 2 years ago
• strangelove-ventures / async-icq
  ☆23Updated last year
• cosmos / sp1-ics07-tendermint
  This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)
  ☆24Updated 5 months ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆31Updated 4 months ago
• AbstractSDK / cw-orchestrator
  All-in-one Rust-based CosmWasm testing, scripting, and deployment tool.
  ☆79Updated 3 weeks ago
• timewave-computer / covenants
  Cross-chain protocol-owned liquidity agreements
  ☆18Updated 7 months ago
• disperze / wasmx
  Data aggregator for Cosmwasm
  ☆18Updated 2 years ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆82Updated 2 years ago
• informalsystems / audits
  Security Audits by Informal Systems
  ☆17Updated this week
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆77Updated 3 months ago
• apollodao / cw-vault-standard
  A standard for tokenized vaults written in CosmWasm
  ☆15Updated this week
• larry0x / ics999
  An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities
  ☆40Updated last year
• informalsystems / CometMock
  Drop-in replacement for CometBFT in end-to-end tests
  ☆24Updated last year
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated 6 months ago
• 0xekez / cw-ibc-example
  An example smart contract + test suite for communicating over IBC.
  ☆80Updated 2 years ago
• informalsystems / malachite
  Flexible BFT consensus engine in Rust
  ☆226Updated this week
• CosmWasm / mesh-security-hackathon
  Implementation of Sunny's Mesh Security talk (Hackathon / Prototype status)
  ☆88Updated 2 years ago
• oak-security / cosmwasm-ctf
  ☆46Updated last year
• hyperweb-io / starship
  Unified Testing and Development for the Interchain and beyond.
  ☆80Updated this week
• osmosis-labs / mesh-security
  ☆67Updated last month
• NoahSaso / argus
  A state-based indexer and API builder for the Cosmos SDK, originally built for DAO DAO.
  ☆13Updated this week
• cosmos / cips
  The Cosmos Improvements Proposals
  ☆25Updated last year
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆24Updated last year
• de-husk / cosm-orc
  👹 Cosmwasm integration testing and gas profiling library 👹
  ☆33Updated 2 years ago
• hyperweb-io / cosmwasm-vm-js
  Run CosmWasm smart contracts in Node.js and web browsers
  ☆45Updated 2 years ago