Solidity library for secure and modular Uniswap hooks.

📄 A curated list of awesome .cursorrules files

Formal specification and verification of Vyper

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A middle-to-high level open source algorithm book designed with coding interview at heart!

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

zero calldata tx exzamples

All you need account for authentication and payments on the web.

An experiment with stealth-addresses & EIP7702 on Odyssey testnet

Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience

Replace 'hub' with 'ingest' in any github url to get a prompt-friendly extract of a codebase

Experimental Next-gen Account

Official repository for the Security Frameworks by SEAL. Currently under development, not a release.

The new huff compiler, with improved codegen, label semantics & error messages.

day-delayed ethereum transfers

⚡️ Ethernaut CTF 2024 Challenges & Solutions

CTF challenges created by @minaminao

The Incentivized Action Market (IAM) Protocol.

Fuzzing campaign for https://github.com/OriginProtocol/origin-dollar

Morpho Blue Protocol

Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.

List of Halmos resources.