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.
bounty-summarizer
CaptureTheEther
CTF Solutions for Capture The Ether
contracts
Solidity contracts for Thales Markets
CTF-Setup
defi-detective
Analyze new defi projects autonomously
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/CTF-Setup
plotchy/learn-slither
plotchy/aoc_lib
plotchy/bounty-summarizer
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/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/kami-caretaker
plotchy/octocrab
A modern, extensible GitHub API Client for Rust.
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/canvas-orbit
plotchy/chains
Canonical type definitions for EIP-155 chains
plotchy/chrome.adj.news
(In Alpha) Chrome Extension that provides extra context to News you read
plotchy/forester
unleash the power of behavior trees!
plotchy/hardhat-vscode
Solidity and Hardhat support for Visual Studio Code
plotchy/helius-rust-sdk
Asynchronous Helius Rust SDK
plotchy/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
plotchy/jupiter-swap-api-client
plotchy/missile-tid
Identifying missile launch signatures from traveling ionic disturbances using GPS data