Owner
informalsystems
42 indexed repositories · View on GitHub
-
hermes
IBC Relayer in Rust
Rust · 505 stars
-
ibc-rs
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
Rust · 224 stars
-
atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Python · 85 stars
-
modelator
Model-based testing tool
Python · 72 stars
-
quartz
Secure SGX Sidecar for CosmWasm
Rust · 63 stars
-
cosmos.nix
A reproducible package set for Cosmos, IBC and CosmWasm
Nix · 62 stars
-
basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs
Rust · 57 stars
-
Rust · 52 stars
-
tm-load-test
tm-load-test tool - Tendermint load test application
Go · 47 stars
-
multisig
Painless multisig for many keys across many cosmos-sdk chains
Go · 37 stars
-
unclog
Unclog your changelog
Rust · 36 stars
-
modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Python · 27 stars
-
emerald
Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.
Rust · 25 stars
-
CometMock
Drop-in replacement for CometBFT in end-to-end tests
Go · 23 stars
-
vdd
Verification-Driven Development
21 stars
-
ibc-starknet
Integration of IBC with Starknet
Rust · 20 stars
-
cosmwasm-to-quint
Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Rust · 17 stars
-
testnets
Various different test network-related configurations for Tendermint
Python · 14 stars
-
hermes-ibc-workshop
Hermes IBC Workshop - Fungible Token Transfer (ics-20) between two Starport chains
TypeScript · 13 stars
-
Rust · 13 stars
- 22 more repositories live on View on GitHub
-
informalsystems/merkleeyes#1 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/merkleeyes#2 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/merkleeyes#3 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/merkleeyes#4 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/merkleeyes#5 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/merkleeyes#6 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/got#3 · 2 comments · 0 reactions · 0 assignees ·
-
informalsystems/got#5 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
informalsystems/got#6 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
informalsystems/got#8 · 0 comments · 0 reactions · 0 assignees ·
-
bug
informalsystems/got#9 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/testnets#5 · 0 comments · 0 reactions · 0 assignees ·
-
Package tmtestnet Open
informalsystems/testnets#6 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/testnets#7 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/testnets#9 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/testnets#13 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/testnets#15 · 16 comments · 0 reactions · 0 assignees ·
-
Write user manual Opendocumentation
informalsystems/jsonatr#1 · 0 comments · 0 reactions · 1 assignee ·
-
testing
informalsystems/jsonatr#2 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
informalsystems/jsonatr#8 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/jsonatr#12 · 1 comment · 0 reactions · 1 assignee ·
-
documentation ibc
informalsystems/vdd#2 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/vdd#3 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/vdd#4 · 4 comments · 0 reactions · 0 assignees ·
-
informalsystems/vdd#8 · 0 comments · 2 reactions · 0 assignees ·
-
More on Testing Open
informalsystems/vdd#9 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/vdd#10 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/vdd#16 · 14 comments · 0 reactions · 0 assignees ·
-
Update README.md Open
informalsystems/vdd#19 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/gravity-dex-demo#1 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/hermes-ibc-workshop#2 · 1 comment · 2 reactions · 0 assignees ·
-
informalsystems/hermes-ibc-workshop#3 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/agoric-kernel-models#1 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/agoric-kernel-models#2 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/flex-error#3 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/flex-error#5 · 0 comments · 1 reaction · 0 assignees ·
-
informalsystems/flex-error#7 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/flex-error#8 · 0 comments · 1 reaction · 0 assignees ·
-
informalsystems/consumer-chain-tool#1 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/consumer-chain-tool#2 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#6 · 1 comment · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#10 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#15 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#25 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#33 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#36 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#38 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#39 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#40 · 1 comment · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#49 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.