Informal Systems

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

hermes

IBC Relayer in Rust

modelator

Model-based testing tool

cosmos.nix

A reproducible package set for Cosmos, IBC and CosmWasm

basecoin-rs

An example ABCI application making use of tendermint-rs and ibc-rs

multisig

Painless multisig for many keys across many cosmos-sdk chains

unclog

Unclog your changelog

sovereign-ibc

Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups

cosmwasm-to-quint

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

hermes-sdk

itf-rs

Rust library for consuming Apalache ITF traces

quint-sandbox

Material used in interactive demos and tutorials

wasmd

Basic cosmos-sdk app with web assembly smart contracts

cycles-sandbox

A playground for Cycles demos, experiments and prototypes.

drop-contracts

Drop is an integrated cross-chain liquid staking protocol

quint_awesomwasm24_workshop

sov-rollup-starter

hermes-sovereign-relayer

IBC Relayer for Sovereign SDK, powered by Hermes SDK

.github

attestation

SGX Enclave Attestation Report Verification

babylon-btcstaking-ui

Babylon staking application

babylon-networks

registry for babylon chain staking

cgp

Rust support libraries for context-generic programming

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

eth-batch-deposit-ui

ETH batch deposit validators

hermes-api-doc

Generated Rustdoc for the hermes relayer

starknet-p2p-specs

Specification of P2P protocol for StarkNet nodes

tmkms

Tendermint KMS: Key Management System for Tendermint Validators

tower-abci

Tower-based ABCI interface.