Pinned Loading

1. AleoBadge AleoBadge Public

   Shell 3 2

2. ProvableHQ/leo ProvableHQ/leo Public

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust 4.8k 701

3. starknet-messaging-bridge starknet-messaging-bridge Public

   Forked from starknet-edu/starknet-messaging-bridge

   Learn how to build StarkNet <-> Ethereum cross layer applications

   Cairo 2

4. pallet-manta-pay pallet-manta-pay Public

   Forked from Manta-Network/pallet-manta-pay

   A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.

   Rust 3 1

5. chains chains Public

   Forked from base/chains

   provides metadata for networkIDs and chainIDs

   Kotlin 8 3

6. node node Public

   Forked from inkonchain/node

   How to run an Ink Node

   Shell 2