informalsystems/cosmwasm-to-quint external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

informalsystems/cosmwasm-to-quint

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/informalsystems/cosmwasm-to-quint)

Close

informalsystems / cosmwasm-to-quintView on GitHubMore

• External links
• Readme badge

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

☆17Jun 28, 2024Updated last year

Alternatives and similar repositories for cosmwasm-to-quint

Users that are interested in cosmwasm-to-quint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• MegaRockLabs / cw-extra

  View on GitHub
  Experimental CosmWasm based contracts, packages and protocols
  ☆17Jan 9, 2026Updated 3 months ago
• disperze / wasmx

  View on GitHub
  Data aggregator for Cosmwasm
  ☆18Nov 8, 2022Updated 3 years ago
• informalsystems / atomkraft

  View on GitHub
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆84Apr 6, 2023Updated 3 years ago
• timewave-computer / valence-protocol

  View on GitHub
  A trust-minimized cross-chain execution environment.
  ☆15Oct 8, 2025Updated 6 months ago
• webmaster128 / anybuf

  View on GitHub
  ☆24Jun 1, 2025Updated 10 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• ben2x4 / cw-vest

  View on GitHub
  ☆10Jan 21, 2022Updated 4 years ago
• vulcanize / ipld-eth-indexer

  View on GitHub
  Tool for generating an indexed ETH IPLD cache
  ☆13Sep 28, 2021Updated 4 years ago
• regen-network / mainnet

  View on GitHub
  Regen Mainnet information and scripts
  ☆10Jun 22, 2023Updated 2 years ago
• althea-net / althea-zone

  View on GitHub
  Configuration and documentation for the Althea cosmos zone
  ☆14Nov 21, 2019Updated 6 years ago
• cosmos / interchain-attestation

  View on GitHub
  Enabling IBC Everywhere.
  ☆16Nov 23, 2024Updated last year
• confio / osmo-oracle

  View on GitHub
  Super powers for HackAtom Seoul
  ☆14Jul 30, 2022Updated 3 years ago
• public-awesome / stargazer

  View on GitHub
  Stargaze blockchain indexer
  ☆10Oct 22, 2021Updated 4 years ago
• timewave-computer / covenants

  View on GitHub
  Cross-chain protocol-owned liquidity agreements
  ☆19Sep 24, 2024Updated last year
• noahsaso / argus

  View on GitHub
  A state-based indexer and API builder for the Cosmos SDK, originally built for DAO DAO.
  ☆16Updated this week
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• envoylabs / whoami

  View on GitHub
  An NFT-based user and smart contract nameservice
  ☆16Feb 16, 2023Updated 3 years ago
• informalsystems / basecoin-rs

  View on GitHub
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Nov 12, 2024Updated last year
• cosmos / gosec

  View on GitHub
  ☆20Jan 24, 2023Updated 3 years ago
• claudeyj / patch_correctness

  View on GitHub
  ☆13May 19, 2024Updated last year
• aura-nw / aurascan

  View on GitHub
  Beautiful block explorer for Aura Network and other Cosmos chains
  ☆19Nov 28, 2025Updated 4 months ago
• ASSERT-KTH / human-eval-java

  View on GitHub
  A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"
  ☆14Dec 11, 2024Updated last year
• shuzhenggao / sbllm

  View on GitHub
  ☆14Aug 18, 2025Updated 8 months ago
• osmosis-labs / cosmos-sdk

  View on GitHub
  A Framework for Building High Value Public Blockchains
  ☆13Jul 16, 2025Updated 9 months ago
• informalsystems / modelator-py

  View on GitHub
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆27Nov 18, 2022Updated 3 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• Safari-Wallet / core

  View on GitHub
  ☆17Jan 21, 2022Updated 4 years ago
• BlockscapeNetwork / hackatom_v

  View on GitHub
  ☆19Jan 28, 2021Updated 5 years ago
• confio / cosmos-hd-key-derivation-spec

  View on GitHub
  ☆25Jul 1, 2023Updated 2 years ago
• wynddao / wynddao

  View on GitHub
  Smart contracts for the $WYND token and Wynd DAO
  ☆17Apr 13, 2023Updated 3 years ago
• starryzone / starrybot-discord

  View on GitHub
  A Discord bot using slash commands, and an ExpressJS backend to route offline-signing verification.
  ☆18Jun 13, 2023Updated 2 years ago
• public-awesome / names

  View on GitHub
  Stargaze Names: A Cosmos IBC Name Service and Marketplace
  ☆21Oct 21, 2024Updated last year
• luniehq / cosmos-keys

  View on GitHub
  Library for creating keys and signing messages on Cosmos 🔑
  ☆28Jan 7, 2023Updated 3 years ago
• dappforce / subsocial-offchain

  View on GitHub
  Off-chain storage for Subsocial blockchain. This app builds user feeds and notifications by subscribing to Substrate events.
  ☆33Apr 25, 2024Updated last year
• cfl0ws / cosmos-validator-mission-control

  View on GitHub
  ☆15Feb 23, 2023Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• larry0x / cw-plus-plus

  View on GitHub
  A collection of CosmWasm utilities and helper functions that I use
  ☆21Aug 14, 2024Updated last year
• cybercongress / cyb-snap

  View on GitHub
  cyb snap for metamask / cyber and cosmos wallet
  ☆19Mar 11, 2020Updated 6 years ago
• confio / rand

  View on GitHub
  Random oracle in CosmWasm
  ☆24Nov 15, 2022Updated 3 years ago
• cosmos / cips

  View on GitHub
  The Cosmos Improvements Proposals
  ☆25Nov 14, 2023Updated 2 years ago
• public-awesome / badges

  View on GitHub
  Monorepo for the Badges project
  ☆19Mar 22, 2023Updated 3 years ago
• cbarraford / cosmos-multisig

  View on GitHub
  Multi-signature Wallet for the Cosmos Blockchain
  ☆22May 6, 2023Updated 2 years ago
• hyperweb-io / create-cosmos-app

  View on GitHub
  Set up a modern Cosmos app by running one command ⚛️
  ☆169Dec 11, 2025Updated 4 months ago