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

Scroll's zkEVM rust crates

A demonstration of different contracts, languages, and libraries that work with Berachain EVM.

Set of core processors that index data on the Aptos blockchain

Streamlit — A faster way to build and share data apps.

A cross-chain NFT app built on Hyperlane

Morpho Blue Oracles

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

An L1 for Move VM built on Avalanche.

Implementation of the Farcaster contracts