Jaic1's Stars
rust-unofficial/awesome-rust
A curated list of Rust code and resources.
diem/diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
bytecodealliance/wasmtime
A fast and secure runtime for WebAssembly
tokio-rs/tracing
Application level tracing for Rust.
tock/tock
A secure embedded operating system for microcontrollers
rust-lang/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
Rust-for-Linux/linux
Adding support for the Rust language to the Linux kernel.
microsoft/verona
Research programming language for concurrent ownership
linux-test-project/ltp
Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
tokio-rs/bytes
Utilities for working with bytes
rust-fuzz/cargo-fuzz
Command line helpers for fuzzing
facebookexperimental/MIRAI
Rust mid-level IR Abstract Interpreter
rustsec/advisory-db
Security advisory database for Rust crates published through crates.io
tokio-rs/slab
Slab allocator for Rust
rust-lang/unsafe-code-guidelines
Forum for discussion about what unsafe code can and can't do
lizhuohua/linux-kernel-module-rust
facebook/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
japaric/cargo-call-stack
Whole program static stack analysis
rust-lang/libm
A port of MUSL's libm to Rust.
matthieu-m/ghost-cell
An implementation of Joshua Yanovski's Ghost Cell paper.
rust-fuzz/trophy-case
🏆 Collection of bugs uncovered by fuzzing Rust code
duneroadrunner/SaferCPlusPlus
A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types
rust-lang/stacker
Manual segmented stacks for Rust
project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
oli-obk/priroda
A graphical debugger for Rust MIR
rems-project/lem
Lem semantic definition language
rust-lang/rust-memory-model
Collecting examples and information to help design a memory model for Rust.
uuverifiers/eldarica
The Eldarica model checker
GaloisInc/mir-verifier
SAW front end for the MIR language from rustc