Pinned Loading

1. cosmos/ibc cosmos/ibc Public

   Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

   TeX 1k 451

2. anoma/juvix anoma/juvix Public

   A language for intent-centric and declarative decentralised applications

   Haskell 505 64

3. wyvernprotocol/wyvern-v3 wyvernprotocol/wyvern-v3 Public

   Wyvern Protocol v3.1, Ethereum implementation

   JavaScript 298 117

4. tm-proposer-idris tm-proposer-idris Public

   Formalization of Tendermint proposer election properties

   Idris 15 1

5. scisco scisco Public

   A privacy-preserving, auditable, distributed voting system.

   Haskell 14 2

6. cosmos/cosmos-sdk cosmos/cosmos-sdk Public

   ⛓️ A Framework for Building High Value Public Blockchains ✨

   Go 6.9k 4.1k