ZhangZhuoSJTU

ZhangZhuoSJTU's Stars

• langchain-ai/langchain

  🦜🔗 Build context-aware reasoning applications

  Language:Jupyter Notebook96.9k6958k15.8k

• vllm-project/vllm

  A high-throughput and memory-efficient inference and serving engine for LLMs

  Language:Python32.6k2685.7k5k

• stanfordnlp/dspy

  DSPy: The framework for programming—not prompting—language models

  Language:Python20.5k1528901.5k

• joonspk-research/generative_agents

  Generative Agents: Interactive Simulacra of Human Behavior

  18k1441322.3k

• lief-project/LIEF

  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

  Language:C++4.6k131830631

• google-deepmind/alphageometry

  Language:Python4.2k54130478

• immunant/c2rust

  Migrate C code to Rust

  Language:Rust4.1k55594248

• yihong0618/running_page

  Make your own running home page

  Language:Python3.7k463461.1k

• noahshinn/reflexion

  [NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning

  Language:Python2.5k2936245

• ysymyth/ReAct

  [ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models

  Language:Jupyter Notebook2.1k1830224

• Uniswap/v4-core

  🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

  Language:Solidity2.1k412261k

• WTFAcademy/WTF-zk

  零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

  Language:Jupyter Notebook1.7k1516206

• SunWeb3Sec/DeFiVulnLabs

  To learn common smart contract vulnerabilities using Foundry!

  Language:Solidity1.7k3210288

• pcaversaccio/reentrancy-attacks

  A chronological and (hopefully) complete list of reentrancy attacks to date.

  1.4k5914151

• 4337Mafia/awesome-account-abstraction

  📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)

  91516416154

• StanfordPL/stoke

  STOKE: A stochastic superoptimizer and program synthesizer

  Language:C++7494099975

• Tuhinshubhra/ExtAnalysis

  Browser Extension Analysis Framework - Scan, Analyze Chrome, firefox and Brave extensions for vulnerabilities and intels

  Language:Python6362222110

• 0xPARC/zk-bug-tracker

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

  62719864

• YAcademy-Residents/defi-fork-bugs

  Bugs in commonly forked DeFi protocols

  4519042

• trailofbits/vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++4012434825

• nevillegrech/gigahorse-toolchain

  A binary lifter and analysis framework for Ethereum smart contracts

  Language:HTML316173963

• SorellaLabs/ethers-reth

  An ether-rs middleware to access reth's db directly, bypassing JSON-RPC

  Language:Rust2694724

• ucsb-seclab/goldphish

  Arbitrage bot for the Ethereum blockchain

  Language:Python638112

• ethpwn/ethpwn

  ethpwn - the Swiss Army Knife for Smart Contract Hacking

  Language:Python45335

• Kraks/diamond-lang

  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

  Language:Scala44931

• trailofbits/vast-checker

  Language:MLIR24303

• yapengye/D-ARM

  Language:Python20312

• B2R2-org/FunProbe

  FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)

  Language:F#14310

• Kraks/contract-for-contract

  Language:Solidity5600

• Troublor/LibSOFL

  Language:Rust3402