Pinned Repositories
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
CTF-Setup
defi-detective
Analyze new defi projects autonomously
erigon-db
Fully typed access to the Erigon db in rust
evm-cfg
Symbolic stack CFG generator for EVM
jop-foundry
learn-slither
plotchy's Repositories
plotchy/evm-cfg
Symbolic stack CFG generator for EVM
plotchy/defi-detective
Analyze new defi projects autonomously
plotchy/jop-foundry
plotchy/CTF-Setup
plotchy/learn-slither
plotchy/aoc_lib
plotchy/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.
plotchy/CaptureTheEther
CTF Solutions for Capture The Ether
plotchy/contracts
Solidity contracts for Thales Markets
plotchy/erigon-db
Fully typed access to the Erigon db in rust
plotchy/ETHDenver-2023
ETHDenver 2023 Buidl-a-thon
plotchy/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
plotchy/fastrlp
Fast RLP serialization/deserialization library
plotchy/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
plotchy/halmos
Symbolic bounded model checker for Ethereum smart contracts
plotchy/hyperx
Extraction and modernization of the hyper 0.11.x typed header module
plotchy/jessies-denver-ctf-2023
CTF Problems
plotchy/octocrab
A modern, extensible GitHub API Client for Rust.
plotchy/paradigm-ctf
My solutions to https://ctf.paradigm.xyz/
plotchy/Petfinder-Scraper
plotchy/pyrometer
A tool for analyzing the security and parameters of a solidity smart contract
plotchy/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
plotchy/simple-security-toolkit
A collection of practical security-focused guides and checklists for smart contract development
plotchy/slither
Static Analyzer for Solidity
plotchy/tree-sitter-solidity
Solidity grammar for tree sitter
plotchy/weird-erc20
weird erc20 tokens
plotchy/chains
Canonical type definitions for EIP-155 chains
plotchy/hardhat-vscode
Solidity and Hardhat support for Visual Studio Code
plotchy/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts