plotchy Goto Github PK

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

chains

Canonical type definitions for EIP-155 chains

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

ethdenver-2023

ETHDenver 2023 Buidl-a-thon

ethers-rs

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

evm-cfg

Symbolic stack CFG generator for EVM

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

hardhat-vscode

Solidity and Hardhat support for Visual Studio Code

hyperx

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

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

jessies-denver-ctf-2023

CTF Problems

jop-foundry

learn-slither

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