Statically detect memory, concurrency bugs and possible panic locations for Rust.

An interpreter for Rust's mid-level intermediate representation

High-performance, well-tested & documented core libraries for Ethereum, in Rust

OCaml DSL for verifiable computation

Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols

Synapse Monorepo

Ethereum Proof-of-Stake Consensus Specifications

Ethereum consensus client in Rust

An embedded key-value database in pure Rust

A comparison of some web frameworks and libs written in Rust

Eth2 testnet metadata files

An arbitrage bot between Uniswap AMMs