hxuhack's Stars
google/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
sunface/rust-course
“连续八年成为全世界最受喜爱的语言,无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,这可能是目前最用心的 Rust 中文学习教程 / Book
rust-lang/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
rayon-rs/rayon
Rayon: A data parallelism library for Rust
tracel-ai/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
lebab/lebab
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
zoidyzoidzoid/awesome-ebpf
A curated list of awesome projects related to eBPF.
theseus-os/Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
deepflowio/deepflow
eBPF Observability - Distributed Tracing and Profiling
llenotre/maestro
Unix-like kernel written in Rust
model-checking/kani
Kani Rust Verifier
flexflow/FlexFlow
FlexFlow Serve: Low-Latency, High-Performance LLM Serving
VcDevel/Vc
SIMD Vector Classes for C++
microsoft/demikernel
Kernel-Bypass LibOS Architecture
rust-lang/portable-simd
The testing ground for the future of portable SIMD in Rust
asterinas/asterinas
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
andoma/vmir
Virtual Machine for Intermediate Representation
ProgrammingRust/mandelbrot
A Rust program that plots the Mandelbrot set, using various kinds of parallelism.
michiyasunaga/DrRepair
[ICML 2020] DrRepair: Learning to Repair Programs from Error Messages
hxuhack/course_compiler
Course Webpage of COMP130014 Compiler Principles and Techniques @ Fudan University
filibuster-testing/filibuster
Prototype implementation of Service-Level Fault Injection Testing in Python.
rainerblind/aTrainingTracker
An android app for tracking your sports activities (supporting ANT+ and BTLE)
xavierleroy/cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Artisan-Lab/RAP
Rust Analysis Platform
Artisan-Lab/Rust-memory-safety-bugs
Artisan-Lab/SafeDrop
A additional Rust compiler pass to detect memory safe bugs of Rust programs.
igor-1982/rest_tensors
Artisan-Lab/SafeNet
ggrieco-tob/logic_bombs
This repository contains several examples of logic bomb.
issre/2024