ZhangZhuoSJTU

ZhangZhuoSJTU's Stars

• microsoft/autogen

  A programming framework for agentic AI 🤖 PyPi: autogen-agentchat Discord: https://aka.ms/autogen-discord Office Hour: https://aka.ms/autogen-officehour

  Language:Python36.4k4182.2k5.3k

• rayon-rs/rayon

  Rayon: A data parallelism library for Rust

  Language:Rust11.3k104580506

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4.1k2531105

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k56609439

• Jon-Becker/heimdall-rs

  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

  Language:Rust1.2k16216126

• eveem-org/panoramix

  Decompiler at the heart of Eveem.org

  Language:Python8686471500

• ratatui/awesome-ratatui

  A curated list of TUI apps and libraries built with Ratatui

  66014365

• cdump/evmole

  Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts

  Language:Rust29631119

• scallop-lang/scallop

  Framework and Language for Neurosymbolic Programming.

  Language:Rust219123110

• tintinweb/smart-contract-vulndb

  🍋 An open dataset containing smart contract audit issues from various sources.

  Language:JavaScript1933119

• rebryk/profanity-brute-force

  Tool to hack a vanity address generated with Profanity

  Language:C++13082038

• agentcoinorg/AutoTx

  A personal assistant for planning and executing on-chain transactions.

  Language:Python1121111920

• fuzzland/girlfriend

  Girl Friend <- Generate Foundry Fork Test from Attack Transaction

  Language:Rust1115110

• sbip-sg/CuEVM

  Cuda implementation of EVM bytecode executor

  Language:Cuda9661915

• ucsb-seclab/greed

  A symbolic execution engine for EVM smart contract binaries.

  Language:Python788913

• foundry-rs/compilers

  Utilities for working with native solc and compiling projects.

  Language:Rust7784048

• huzecong/ghcc

  GitHub Cloner & Compiler

  Language:Python603016

• Zellic/solidity-parser

  Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.

  Language:Python5512182

• ethdebug/format

  Smart contract debugging data format – Standards development working group

  Language:MDX499364

• BenH11235/rust-re-tour

  A tour of what some Rust language features look like after compilation.

  Language:Rust44106

• OffsideLabs/research

  35300

• andstor/verified-smart-contracts

  :page_facing_up: Verified Ethereum Smart Contract dataset

  Language:Python28214

• ZhangZhuoSJTU/CRAJobHarvester

  AI-powered web scraper for harvesting and analyzing Computing Research Association job listings.

  Language:Python17102

• Troublor/Nyx

  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts

  Language:Python16531

• ZhangZhuoSJTU/LINT

  Language:Python14100

• MEDGA-eth/EDB

  EDB: The EVM Project Debugger

  Language:Rust8600

• SolidShen/BAIT

  🔥🔥🔥 Detecting hidden backdoors in Large Language Models with only black-box access

  Language:Python60

• MEDGA-eth/hardhat-clone

  Clone on-chain contracts into your hardhat project

  Language:TypeScript3200

• ZhangZhuoSJTU/easy_tmux

  My Tmux configure

  Language:Shell2500

• ZhangZhuoSJTU/easy_vim

  Light_weight Configuration for Vim

  Language:Vim script140