repos
83
ecosystems
35
languages
6
commits
363
─── top repos · by commits
─── repositories
83 totalAdvanced fuzzing via Model Based Testing for Cosmos blockchains
Advanced fuzzing via Model Based Testing for Cosmos blockchains
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Namespaced Merkle Tree
WebAssembly Smart Contracts for the Cosmos SDK
A cosmos-sdk fork for greenfield
Fork of Cosmos SDK v0.50.x for Celestia App
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Symbiotic + cosmos-sdk example project
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Rollkit-enabled fork of cosmos-sdk.
Agents and tools for using Quint with LLMs
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:rocket: Regen Network fork of Cosmos SDK
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
WebAssembly Smart Contracts for the Cosmos SDK - This code is compiled into Wasm bytecode as part of the smart contract.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Framework for building smart contracts in Wasm for the Cosmos SDK
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Framework for building smart contracts in Wasm for the Cosmos SDK
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
Framework for building smart contracts in Wasm for the Cosmos SDK
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Fork of @cosmos/cosmos-sdk for cheqd
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
Framework for building smart contracts in Wasm for the Cosmos SDK
A query suite for common bug patterns in Cosmos SDK-based applications
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Cosmos SDK fork to be used in Bridgeless core
Rollkit-enabled fork of cosmos-sdk.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Rollkit-enabled fork of cosmos-sdk.
SDK for building Tendermint-based blockchain
─── peer developers
─── ecosystems
─── languages
- Go51
- Rust8
- Bluespec2
- Python1
- TypeScript1
- CodeQL1
─── subscriber view
Unlock the full view of ivan-gavran
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.