a plot device

Aave Umbrella smart contracts

Reveal unused code of a live smart contract by collecting coverage from historical transactions.

A hyper gas optimized and formally verified smart contract, written in huff. 🐎

Go implementation of the Ethereum protocol

Development framework for Foundry projects

EVM Execution Hooks.

Efficient Type Driven Smart Contract Interactions

an agentic simulator framework in Rust.

Solidity snippets too edgy to be in Solady

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

A simple and easy-to-use language and compiler for querying blockchain data.

Ethers extension for a multicall-based provider to batch calls.

An Ethereum transaction-parser

Generate tests based on the Branching Tree Technique.

Uses magic (zk) to distribute gifts (rewards) to kids (validators)

A smarter cd command. Supports all major shells.

FOUR.MEME Sandwich Bot

Smart contracts for onchain verification of SP1.

following a tutorial to make a chatbot in Rust

A cli tool for finding the weather in a user-input city, 𝙞𝙣 𝙍𝙪𝙨𝙩

Fully open reproduction of DeepSeek-R1