repos
149
ecosystems
51
languages
12
commits
938
─── top repos · by commits
─── repositories
149 totalA Formal Semantics of WebAssembly in K
Nock semantics in K
A K semantics of Tezos' Michelson language.
A portfolio tracking, analytics, accounting and management application that protects your privacy
Plugin files for editing K files
A framework for building blockchains based Finschia Mainnet that is forked from cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
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:
Server side for dymension Rollapps
: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:
Rollkit-enabled fork of cosmos-sdk.
: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 :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 :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 :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: Blockchain Application Framework :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
cosmos-sdk
Cosmos SDK flavour by Turnpike
: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:
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:
: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: Blockchain Application Framework :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 (Evmos Fork) :sparkles:
Rollkit-enabled 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:
SDK for building Tendermint-based blockchain
:chains: A Framework for Building High Value Public Blockchains :sparkles:
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:
Symbiotic + cosmos-sdk example project
Verification of Polkadot WASM code
🦀 MultiversX SpaceCraft framework for Rust. Contains: a smart contract framework; a complete smart contract build solution; a large collection of example smart contracts; a testing framework and debugger (including a VM model); real blockchain interaction; various other tools.
K Framework Tools 7.0
🦀 Rust smart contract library designed for Elrond's Wasm VM. Also provides a debugging mode with mocks.
🦀 MultiversX tool pack in Rust. Contains: a smart contract framework; a complete smart contract build solution; a large collection of example smart contracts; a testing framework and debugger that include a VM model; various other tools.
Fork of multiversx/mx-sdk-rs
🦀 Rust smart contract library designed for Elrond's Arwen VM. Also provides a debugging mode with mocks.
K framework proof explorer & smart contract specification format
Publications of Runtime Verification, Inc.
The source for urbit.org
:chains: A Framework for Building High Value Public Blockchains :sparkles:
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
K Semantics of the Ethereum Virtual Machine (EVM)
The Synthetix Improvement Proposal repository
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of libp2p networking stack.
The Loki Improvement Proposal repository
The Kwenta Improvement Proposal repository
The Ethereum Improvement Proposal
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
K Framework Tools 5.0
The Rust Implementation of the libp2p networking stack.
The Ethereum Improvement Proposal repository
The Pie Improvement Proposal Repository
The Ethereum Improvement Proposal repository
:chains: A Framework for Building High Value Public Blockchains :sparkles:
The Rust Implementation of libp2p networking stack.
K Semantics of the Ethereum Virtual Machine (EVM)
The Ethereum Improvement Proposal repository
The Rust Implementation of the libp2p networking stack.
The Rust Implementation of the libp2p networking stack.
The Ethereum Improvement Proposal repository
The Synthetix Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Synthetix Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Rust Implementation of the libp2p networking stack.
─── peer developers
─── ecosystems
─── languages
- Go69
- HTML13
- Rust9
- Python6
- Solidity6
- JavaScript4
- Jupyter Notebook3
- WebAssembly2
- Java2
- Makefile1
─── subscriber view
Unlock the full view of hjorthjort
- · 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.