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
• CosmWasm / cw-multi-test
  Testing tools for multi-contract interactions
  ☆54Updated 2 months ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆58Updated last week
• timewave-computer / covenants
  Cross-chain protocol-owned liquidity agreements
  ☆19Updated last year
• AbstractSDK / cw-orchestrator
  All-in-one Rust-based CosmWasm testing, scripting, and deployment tool.
  ☆81Updated last month
• cosmos / sp1-ics07-tendermint
  This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)
  ☆24Updated 11 months ago
• CyberHoward / cosmwasm-re-entrancy-example
  An example re-entrancy attack on a flashloan vault.
  ☆15Updated 2 years ago
• cosmos / gosec
  ☆20Updated 2 years ago
• de-husk / cosm-orc
  👹 Cosmwasm integration testing and gas profiling library 👹
  ☆34Updated 2 years ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆83Updated 2 years ago
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆78Updated 9 months ago
• CosmWasm / mesh-security-hackathon
  Implementation of Sunny's Mesh Security talk (Hackathon / Prototype status)
  ☆88Updated 2 years ago
• strangelove-ventures / async-icq
  ☆23Updated 2 years ago
• nymlab / vectis
  The Foundation for Compliant Self-sovereign Wallets
  ☆41Updated last year
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated last year
• cosmos / ics23
  Building generic merkle proof format for IBC
  ☆127Updated 3 months ago
• disperze / wasmx
  Data aggregator for Cosmwasm
  ☆18Updated 3 years ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆31Updated 11 months ago
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆92Updated last month
• left-curve / left-curve
  Dango exchange
  ☆127Updated this week
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆26Updated last year
• cosmos / cips
  The Cosmos Improvements Proposals
  ☆24Updated 2 years ago
• holiman / gofuzz-shim
  Tooling to shim libfuzzer <-> golang native fuzzing
  ☆13Updated last year
• osmosis-labs / mesh-security
  ☆69Updated 7 months ago
• celestiaorg / celestia-specs
  Celestia Specifications
  ☆50Updated 3 years ago
• rollchains / spawn
  The best development platform for building custom modular Cosmos-SDK blockchains
  ☆113Updated this week
• noislabs / nois-contracts
  CosmWasm contracts for Nois
  ☆21Updated last year
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 11 months ago
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆150Updated last year
• rollchains / tiablob
  Cosmos SDK Module for Celestia DA
  ☆51Updated last year