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"