-
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
Rust Other UpdatedOct 24, 2025 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Apache License 2.0 UpdatedOct 21, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedSep 16, 2025 -
gccrs Public
Forked from Rust-GCC/gccrsGCC Front-End for Rust
GNU General Public License v2.0 UpdatedAug 4, 2025 -
rustc-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedJan 25, 2024 -
compiler-explorer Public
Forked from compiler-explorer/compiler-explorerRun compilers interactively from your web browser and interact with the assembly
JavaScript BSD 2-Clause "Simplified" License UpdatedSep 26, 2023 -
std-dev-guide Public
Forked from rust-lang/std-dev-guideGuide for standard library developers
Shell Apache License 2.0 UpdatedFeb 18, 2023 -
chalk Public
Forked from rust-lang/chalkA PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
Rust Other UpdatedNov 28, 2021 -
rust-analyzer Public
Forked from rust-lang/rust-analyzerAn experimental Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedOct 25, 2021 -
rustfmt Public
Forked from rust-lang/rustfmtFormat Rust code
Rust Apache License 2.0 UpdatedFeb 13, 2021 -
reference Public
Forked from rust-lang/referenceThe Rust Reference
HTML Apache License 2.0 UpdatedApr 19, 2020 -
team Public
Forked from rust-lang/teamRust teams structure
Rust Apache License 2.0 UpdatedFeb 26, 2020 -
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code
Rust Other UpdatedFeb 15, 2020 -
intellij-rust Public
Forked from intellij-rust/intellij-rustRust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
Kotlin MIT License UpdatedDec 7, 2019 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedJun 3, 2019 -
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
Rust Apache License 2.0 UpdatedApr 6, 2019 -
rustc-perf Public
Forked from rust-lang/rustc-perfWebsite for graphing performance of rustc
Rust UpdatedFeb 23, 2019 -
-
rustup.rs Public
Forked from rust-lang/rustupThe Rust toolchain installer
Rust Apache License 2.0 UpdatedMay 19, 2017 -
-
nomicon Public
Forked from rust-lang/nomiconThe Dark Arts of Advanced and Unsafe Rust Programming
Apache License 2.0 UpdatedMar 2, 2017
{{ message }}