pauliax

pauliax's Stars

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.4k981

• andrecronje/rarity

  d20srd reference implementation codified in solidity

  Language:Solidity609121

• Quillhash/QuillAudit_Reports

  QuillAudits Smart Contracts, deFi, NFT, tokens,Dao , Dex and DApps Audit Reports

  35782

• PopPunkLLC/GasliteDrop

  Hyper Efficient Airdrops. Gas Bad.

  Language:TypeScript6520

• gibbok/typescript-book

  The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.

  Language:TypeScript8.5k527

• pashov/audits

  1k135

• zobront/audits

  public audit & bug reports

  26824

• smartbugs/smartbugs

  SmartBugs: A Framework to Analyze Ethereum Smart Contracts

  Language:Python589140

• crytic/solc-select

  Manage and switch between Solidity compiler versions

  Language:Python767104

• m1guelpf/armchair

  A Next.js template with everthing your web3 app needs.

  Language:TypeScript38526

• plotchy/evm-cfg

  Symbolic stack CFG generator for EVM

  Language:Rust18014

• lcfr-eth/FlashbotsBundlerUI

  Language:CSS479

• m1guelpf/nextjs13-connectkit-siwe

  Using ConnectKit's SIWE with the Next.js v13 App Router

  Language:TypeScript415

• dappnetbby/dappnet

  A bulletproof platform for decentralized frontends

  Language:JavaScript804

• wevm/viem

  TypeScript Interface for Ethereum

  Language:TypeScript2.6k922

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python84472

• wslyvh/nexth

  A Next.js + Ethereum starter kit with Viem, Wagmi, Web3Modal, SIWE, Tailwind, daisyUI and more to quickly ship production-ready Web3 Apps ⚡

  Language:TypeScript682143

• zobront/quickpoc

  easy POC template generation from the command line

  Language:Shell31756

• naddison36/sol2uml

  Solidity contract visualisation tool

  Language:TypeScript1.2k284

• zeroknots/brokentoken

  Foundry Test Suit to test weird ERC20 behavior

  Language:Solidity23827

• hananbeer/protomerkle

  build merkle trees on-chain

  Language:Solidity1214

• ethereum/public-disclosures

  12211

• paradigmxyz/artemis

  A simple, modular, and fast framework for writing MEV bots in Rust.

  Language:Rust2.4k456

• 0xcacti/awesome-oracle-manipulation

  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.

  52340

• PhiXDashGitHub/SCAuditStudio

  SC Audit Studio, also known as Smart Contract Audit Studio, is a powerful tool that serves as an all-in-one Integrated Development Environment for smart contract auditing.

  Language:C#111

• zeroknots/slotmachine

  detect hazardous storage writes in Solidity contracts

  Language:Yul977

• SunWeb3Sec/DeFiHackLabs

  Reproduce DeFi hacked incidents using Foundry.

  Language:Solidity5.4k1.2k

• anthias-labs/arbiter

  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

  Language:Rust68766

• Certora/gambit

  Using mutations to improve specs and test suites

  Language:Rust1728

• Consensys/diligence-fuzzing

  Language:Python3410