From 7495a2a5b0920b736b33ef3112e6fe13e5a1df2d Mon Sep 17 00:00:00 2001
From: Jelena647 <34727326+Jelena647@users.noreply.github.com>
Date: Thu, 6 Jan 2022 10:39:56 -0500
Subject: [PATCH] add informal systems contributions to cosmos

---
 data/ecosystems/c/cosmos.toml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/data/ecosystems/c/cosmos.toml b/data/ecosystems/c/cosmos.toml
index 4e850e17..120a73da 100644
--- a/data/ecosystems/c/cosmos.toml
+++ b/data/ecosystems/c/cosmos.toml
@@ -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"