plotchy

evm-cfg

Symbolic stack CFG generator for EVM

defi-detective

Analyze new defi projects autonomously

jop-foundry

CTF-Setup

learn-slither

aoc_lib

blacksmith

Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in OOP style and simplify complex boilerplate setup.

CaptureTheEther

CTF Solutions for Capture The Ether

contracts

Solidity contracts for Thales Markets

erigon-db

Fully typed access to the Erigon db in rust

ETHDenver-2023

ETHDenver 2023 Buidl-a-thon

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

fastrlp

Fast RLP serialization/deserialization library

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

halmos

Symbolic bounded model checker for Ethereum smart contracts

hyperx

Extraction and modernization of the hyper 0.11.x typed header module

jessies-denver-ctf-2023

CTF Problems

octocrab

A modern, extensible GitHub API Client for Rust.

paradigm-ctf

My solutions to https://ctf.paradigm.xyz/

Petfinder-Scraper

pyrometer

A tool for analyzing the security and parameters of a solidity smart contract

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

simple-security-toolkit

A collection of practical security-focused guides and checklists for smart contract development

slither

Static Analyzer for Solidity

tree-sitter-solidity

Solidity grammar for tree sitter

weird-erc20

weird erc20 tokens

chains

Canonical type definitions for EIP-155 chains

hardhat-vscode

Solidity and Hardhat support for Visual Studio Code

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts