wang384670111

wang384670111's Stars

• ggerganov/llama.cpp

  LLM inference in C/C++

  Language:C++70.7k5604.3k10.2k

• NextronSystems/APTSimulator

  A toolset to make a system look as if it was the victim of an APT attack

  Language:Batchfile2.5k1229431

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k231.7k100

• shengyp/doing_the_PhD

  2.1k451265

• Warrenren/inside-rust-std-library

  本书已经正式出版，目前正预售，可在京东搜索《深入RUST标准库》即可。本书主要对RUST的标准库代码进行分析，并试图给出RUST标准库代码的分析脉络。This project try to give a venation of how reading the RUST standard library source code.

  1.4k3210208

• m-ou-se/rust-atomics-and-locks

  Code examples, data structures, and links from my book, Rust Atomics and Locks.

  Language:Rust1.4k2760129

• apache/incubator-teaclave-sgx-sdk

  Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

  Language:Rust1.2k71270265

• fkie-cad/cwe_checker

  cwe_checker finds vulnerable patterns in binary executables

  Language:Rust1.2k27105123

• canpool/qtcanpool

  A fancy Qt class library framework

  Language:C++483213211

• cognitive-engineering-lab/rustc_plugin

  A framework for writing plugins that integrate with the Rust compiler

  Language:Rust1374816

• jeehoonkang/membarrier-rs

  Rust library for memory barrier

  Language:Rust344166

• Artisan-Lab/SafeDrop

  A additional Rust compiler pass to detect memory safe bugs of Rust programs.

  Language:Rust15110

• starso-sec/BlueTeamHelper

  Language:JavaScript710

• siddontang/youtube_summarizer

  Summarize the YouTube video

  Language:Python420

• conradludgate/air

  AtomicIR - A simple language for atomic static analysis

  Language:Rust220