Insecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them

a gateway to a network of block builders

Making your life easier with simple Univ3 examples

proof first, evm specific smt solver

A free book about developing secure and robust systems software.

A data structures library that does memory management for you

a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance

An example of a bot to extract long tail MEV from the Wolf Game

An opinionated collection of dotfiles, mainly for development on Rust and Solidity. Uses nvim, coc, rust-analyzer, tmux and Foundry.

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Ethereum implementation on the efficiency frontier

Library for building symbolically executable stack-based virtual machines

A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540

MEV-Boost allows Ethereum validators to source high-MEV blocks from a competitive builder marketplace

Code for "Zero To Production In Rust", a book on API development using Rust.

A primitive computer algebra system

UniswapV3 by examples

The missing onboarding guide to Bitcoin Core

A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM

Manage and switch between Solidity compiler versions

arbitrage bot, looks for prices differences on uniswap and kyber. Uses flashloan to make a trade between 2 exchanges. #eattheblocks course

🕶️ Awesome stuff for Obsidian

A purely functional programming language with first class types

A minimalist library to interact with encrypted JSON keystores

Coinbase pro client for Rust