-
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rust Apache License 2.0 UpdatedMay 20, 2026 -
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedMay 6, 2026 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedMar 25, 2026 -
-
rust-project-goals Public
Forked from rust-lang/rust-project-goalsRust Project Goals tracker
Rust MIT License UpdatedFeb 27, 2026 -
tokio-metrics Public
Forked from tokio-rs/tokio-metricsUtilities for collecting metrics from a Tokio application
Rust MIT License UpdatedSep 6, 2025 -
rfcs Public
Forked from rust-lang/rfcsRFCs for changes to Rust
-
team Public
Forked from rust-lang/teamRust teams structure
Rust Apache License 2.0 UpdatedApr 16, 2025 -
elain Public
Set the minimum alignments of types using const generics.
-
tokio Public
Forked from tokio-rs/tokioA runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Rust MIT License UpdatedFeb 5, 2024 -
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedNov 8, 2023 -
-
ui_test Public
Forked from oli-obk/ui_testA test framework for testing rustc diagnostics output
Rust UpdatedMay 25, 2023 -
-
-
-
-
-
reverie Public
Forked from facebookexperimental/reverieAn ergonomic and safe syscall interception framework for Linux.
Rust Other UpdatedDec 27, 2022 -
serde Public
Forked from serde-rs/serdeSerialization framework for Rust
Rust Apache License 2.0 UpdatedDec 18, 2022 -
gimli Public
Forked from gimli-rs/gimliA blazing fast library for consuming the DWARF debugging format
Rust Apache License 2.0 UpdatedNov 23, 2022 -
-
-
website Public
Forked from tokio-rs/websiteWebsite for the Tokio project
TypeScript MIT License UpdatedOct 28, 2022 -
-
zerocopy Public
Forked from google/zerocopyRust BSD 2-Clause "Simplified" License UpdatedOct 25, 2022 -
bpftrace Public
Forked from bpftrace/bpftraceHigh-level tracing language for Linux eBPF
C++ Apache License 2.0 UpdatedOct 21, 2022 -
-
tracing Public
Forked from tokio-rs/tracingApplication level tracing for Rust.
Rust MIT License UpdatedSep 24, 2022 -
{{ message }}