shinmao

shinmao's Stars

• SimplifyJobs/Summer2025-Internships

  Collection of Summer 2025 tech internships!

  35.7k1.5k2.8k2.8k

• ctjhoa/rust-learning

  A bunch of links to blog posts, articles, videos, etc for learning Rust

  11.7k31227787

• jeffgerickson/algorithms

  Bug-tracking for Jeff's algorithms book, notes, etc.

  8k3143011k

• Speykious/cve-rs

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

  Language:Rust4.2k2531105

• rust-in-blockchain/awesome-blockchain-rust

  Collect libraries and packages about blockchain/cryptography in Rust

  2.4k595253

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k68124116

• servo/rust-smallvec

  "Small vector" optimization for Rust: store up to a small number of items on the stack

  Language:Rust1.4k27116146

• gnzlbg/cargo-asm

  cargo subcommand showing the assembly or llvm-ir generated for Rust code

  Language:Rust1.2k166337

• ydyjya/Awesome-LLM-Safety

  A curated list of safety-related papers, articles, and resources focused on Large Language Models (LLMs). This repository aims to provide researchers, practitioners, and enthusiasts with insights into the safety implications, challenges, and advancements surrounding these powerful models.

  1.1k171157

• facebookexperimental/MIRAI

  Rust mid-level IR Abstract Interpreter

  Language:Rust1k2213086

• zcash/halo2

  The Halo2 zero-knowledge proving system

  Language:Rust75334335505

• sec-deadlines/sec-deadlines.github.io

  Deadline countdowns for academic conferences in Security and Privacy

  Language:HTML6761915241

• rust-secure-code/safety-dance

  Auditing crates for unsafe code which can be safely replaced

  540426010

• BurtonQin/lockbud

  Statically detect memory, concurrency bugs and possible panic locations for Rust.

  Language:Rust48693129

• prove-rs/z3.rs

  Rust bindings for the Z3 solver.

  Language:Rust36510110115

• xiw/stack

  A static checker for identifying unstable code.

  Language:C++360373056

• jondot/awesome-rust-llm

  🦀 A curated list of Rust tools, libraries, and frameworks for working with LLMs, GPT, AI

  3129016

• walles/riff

  A diff filter highlighting which line parts have changed

  Language:Rust2726536

• rust-lang/google-summer-of-code

  Rust project ideas for Google Summer of Code

  11411014

• Shnatsel/bounds-check-cookbook

  Recipes for avoiding bounds checks in Rust, without unsafe!

  Language:Rust104415

• bunturx/Awesome-Blockchain-Security

  77206

• cbeuw/rustlantis

  UB-free and deterministic rustc fuzzer

  Language:Rust73513

• chainflag/awesome-blockchain-security

  A curated list of awesome things related to Blockchain security

  713117

• rustanlys/rupta

  A Pointer Analysis Framework for Rust

  Language:Rust463511

• Artisan-Lab/Rust-memory-safety-bugs

  29402

• parasol-aser/vrust-open-source

  Automated Vulnerability Detection for Solana Smart Contracts

  Language:Rust202210

• BurtonQin/Awesome-Rust-Checker

  A curated list of awesome Rust checkers

  17200

• KomaEc/crown

  Ownership analysis that helps translating C to Rust

  Language:Rust16824

• Artisan-Lab/Rust-SGNN

  Language:Rust4100

• Artisan-Lab/SafetyProperty

  2100