Stars
This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing" accepted to CCS 2024.
A memory allocator verified with Verus
A community preview of ongoing formal verification efforts for Asterinas
“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.
LearningOS / 2025s-rustling-LiuJun5817
Forked from LearningOS/rustling-classroom-2025s-rustling-25S-templaterustling-classroom-2025s-rustling-25S-template created by GitHub Classroom
Formal verification of VM memory isolation in type-I hypervisor.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust virtual machine and JIT compiler for eBPF programs
solana-labs / rbpf
Forked from qmonnet/rbpfRust virtual machine and JIT compiler for eBPF programs
trail-of-forks / rbpf
Forked from solana-labs/rbpfRust virtual machine and JIT compiler for eBPF programs