add informal systems contributions to cosmos

This commit is contained in:
Jelena647
2022-01-06 10:39:56 -05:00
committed by Curtis Spencer
parent 6387731b28
commit 7495a2a5b0

View File

@@ -1246,9 +1246,27 @@ url = "https://github.com/hupay/Blockchain-Tech"
[[repo]]
url = "https://github.com/hyperledger-labs/yui-corda-ibc"
[[repo]]
url = "https://github.com/informalsystems/basecoin-rs"
[[repo]]
url = "https://github.com/informalsystems/cosmos.nix"
[[repo]]
url = "https://github.com/informalsystems/cross-chain-validation"
[[repo]]
url = "https://github.com/informalsystems/ibc-rs"
[[repo]]
url = "https://github.com/informalsystems/ics23"
[[repo]]
url = "https://github.com/informalsystems/stakool"
[[repo]]
url = "https://github.com/informalsystems/tendermint-rs"
[[repo]]
url = "https://github.com/interchainberlin/cosmos-sdk-interchain-account"