pauliax

pauliax's Stars

• iFrostizz/solhunt

  Hunt for common bad practices in Solidity smart contracts !

  Language:Rust1222

• shanzson/Smart-Contract-Auditor-Tools-and-Techniques

  This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts

  649109

• spearbit/portfolio

  51751

• nascentxyz/pyrometer

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

  Language:Rust68655

• blocksecteam/metasuites

  MetaSuites powered by BlockSec. Help crypto users explore blockchain smoothly.

  Language:TypeScript24441

• trailofbits/manticore

  Symbolic execution tool

  Language:Python3.7k473

• immunefi-team/forge-poc-templates

  Language:Solidity420100

• Picodes/4naly3er

  Static smart contract code 4naly3er

  Language:TypeScript519137

• quixotic-dev/frontend

  Language:TypeScript3134

• latticexyz/mud

  MUD is a framework for building autonomous worlds

  Language:TypeScript778194

• sphinx-labs/chugsplash-foundry

  A Foundry library for deploying and managing upgradeable smart contracts

  Language:Solidity962

• 0xPARC/zk-bug-tracker

  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

  62865

• sherlock-protocol/sherlock-reports

  Sherlock audit and coverage reports

  12119

• primitivefinance/solstat

  Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.

  Language:Solidity1184

• crytic/echidna

  Ethereum smart contract fuzzer

  Language:Haskell2.8k378

• trailofbits/maat

  Open-source symbolic execution framework: https://maat.re

  Language:C++62042

• massun-onibakuchi/grim-reaper

  on-chain liquidation bot built with Huff language

  Language:Solidity1039

• mattstam/solidity-template

  A Solidity starter template for developing smart contracts.

  Language:TypeScript11616

• blacksmith-eth/blacksmith

  🔨 An adaptive frontend for smart contract interaction

  Language:TypeScript31528

• proofxyz/solidify

  Language:Go12511

• cawfree/zk-starter

  zero knowledge for those with zero knowledge

  Language:Solidity1034

• family/connectkit

  Connecting a wallet, made simple.

  Language:TypeScript903199

• noir-lang/awesome-noir

  A curated list of awesome things related to learning and programming in Noir.

  36873

• smlxl/evm.codes

  Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

  Language:TypeScript744146

• Arachnid/flashbots-ens-rescue

  Rescues ENS names from compromised accounts using flashbots

  Language:TypeScript268

• heyxyz/hey

  Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿

  Language:TypeScript23.8k1.6k

• dragonfly-xyz/useful-solidity-patterns

  Language:Solidity1.5k165

• OpenZeppelin/merkle-tree

  A JavaScript library to generate merkle trees and merkle proofs.

  Language:TypeScript470111

• 0xKitsune/solstat

  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.

  Language:Rust42936

• openchainxyz/ethereum-transaction-viewer-frontend

  Frontend for https://tx.eth.samczsun.com/

  Language:TypeScript39167