syang-ng

syang-ng's Stars

• geekan/MetaGPT

  🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

  Language:Python45.6k8977005.4k

• astral-sh/uv

  An extremely fast Python package and project manager, written in Rust.

  Language:Rust28.3k604.2k807

• meta-llama/llama3

  The official Meta Llama 3 GitHub site

  Language:Python27.3k2282653.1k

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda24.6k2471412.8k

• cloudflare/pingora

  A library for building fast, reliable and evolvable network services.

  Language:Rust22.6k1802431.3k

• rayon-rs/rayon

  Rayon: A data parallelism library for Rust

  Language:Rust11.1k104577501

• albertan017/LLM4Decompile

  Reverse Engineering: Decompiling Binary Code with Large Language Models

  Language:Python3.2k3832237

• evmos/evmos

  Evmos is the canonical EVM chain on Cosmos. Evmos is the flagship implementation of evmOS, a stack to build forward compatible EVMs

  Language:Go1.7k187230863

• ethereum/execution-apis

  Collection of APIs provided by Ethereum execution layer clients

  Language:Io96755164380

• a16z/jolt

  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  Language:Rust69729131153

• tradingstrategy-ai/web3-ethereum-defi

  A Python library for trading automation on DeFi, data research and integration. Supporting Uniswap, Aave, Chainlink, USDC and other protocols.

  Language:Python6191443133

• allenai/tango

  Organize your experiments into discrete steps that can be cached and reused throughout the lifetime of your research project.

  Language:Python5331211747

• tonyke-bot/ore-miner

  ORE Miner built on top of Jito bundle with both CPU and GPU support.

  Language:Rust4591130210

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq428926317

• risc0/zeth

  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

  Language:Rust383192369

• ChatAFLndss/ChatAFL

  Large Language Model guided Protocol Fuzzing (NDSS'24)

  Language:C28741429

• ethereum/eth-account

  Account abstraction library for web3.py

  Language:Python2771794160

• grandinetech/grandine

  High performance Ethereum consensus client

  Language:Rust17774026

• hzysvilla/Academic_LLM_Sec_Papers

  Academic Papers about LLM Application on Security

  112504

• ethereum-optimism/op-analytics

  Onchain Data, Utilities, References, and other Analytics on Optimism

  Language:Jupyter Notebook11181551

• confidential-containers/td-shim

  Confidential Containers Shim Firmware

  Language:Rust971426253

• sbip-sg/CuEVM

  Cuda implementation of EVM bytecode executor

  Language:Cuda9461913

• ferranbt/fastssz

  Fast Ethereum2.0 SSZ encoder/decoder

  Language:Go7956146

• ucsb-seclab/greed

  A symbolic execution engine for EVM smart contract binaries.

  Language:Python789912

• succinctlabs/sp1-project-template

  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

  Language:Rust733635

• Cionn3/rs-uniswap-sniper

  Implementation of a sniping bot in Rust for Uniswap V2

  Language:Rust723017

• ethpandaops/assertoor

  Ethereum Testnet Testing Tool

  Language:Go4031211

• microsoft/verismo

  A formally verified security module for AMD confidential VMs

  Language:Rust35625

• christoftorres/Web3-Privacy

  A framework to quantify Web3-based browser fingerprinting and wallet address leakage (USENIX 2023).

  Language:CSS12301

• liobaheimbach/Non-Atomic-Arbitrage-in-Decentralized-Finance

  Language:Jupyter Notebook9