-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedSep 4, 2025 -
multilspy Public
Forked from microsoft/multilspymultilspy is a lsp client library in Python intended to be used to build applications around language servers.
Python MIT License UpdatedApr 14, 2025 -
rustc-dev-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 UpdatedFeb 28, 2025 -
rust-triagebot Public
Forked from rust-lang/triagebotTriage Bot
Rust Apache License 2.0 UpdatedJan 25, 2025 -
rust-team Public
Forked from rust-lang/teamRust teams structure
Rust Apache License 2.0 UpdatedJan 7, 2025 -
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedDec 31, 2024 -
ChatDBG Public
Forked from plasma-umass/ChatDBGChatDBG - AI-assisted debugging. Uses AI to answer 'why'
Python Apache License 2.0 UpdatedDec 29, 2024 -
rustfmt Public
Forked from rust-lang/rustfmtFormat Rust code
Rust Apache License 2.0 UpdatedDec 21, 2024 -
-
libelfin Public
Forked from plasma-umass/libelfinC++11 ELF/DWARF parser
C++ MIT License UpdatedOct 22, 2024 -
rust-rfcs Public
Forked from rust-lang/rfcsRFCs for changes to Rust
Markdown Apache License 2.0 UpdatedSep 21, 2024 -
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedAug 8, 2024 -
docs.rs Public
Forked from rust-lang/docs.rscrates.io documentation generator
Rust MIT License UpdatedAug 6, 2024 -
mdBook Public
Forked from rust-lang/mdBookCreate book from markdown files. Like Gitbook but implemented in Rust
Rust Mozilla Public License 2.0 UpdatedJul 31, 2024 -
rust-thanks Public
Forked from rust-lang/thanksCelebrate Rust contributors.
Rust Apache License 2.0 UpdatedJul 31, 2024 -
Mesh Public template
Forked from plasma-umass/MeshA memory allocator that automatically reduces the memory footprint of C/C++ applications.
C++ Apache License 2.0 UpdatedJul 19, 2024 -
wasmtime Public
Forked from bytecodealliance/wasmtimeA fast and secure runtime for WebAssembly
Rust Apache License 2.0 UpdatedJul 8, 2024 -
Heap-Layers Public
Forked from emeryberger/Heap-LayersHeap Layers: An Extensible Memory Allocation Infrastructure
C++ Apache License 2.0 UpdatedJul 6, 2024 -
salsa Public
Forked from salsa-rs/salsaA generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Rust Apache License 2.0 UpdatedJun 25, 2024 -
rust-playground Public
Forked from rust-lang/rust-playgroundThe Rust Playground
Rust Apache License 2.0 UpdatedMay 29, 2024 -
-
blog.rust-lang.org Public
Forked from rust-lang/blog.rust-lang.orgThe Rust Programming Language Blog
Rust Apache License 2.0 UpdatedFeb 23, 2024 -
cwhy Public
Forked from plasma-umass/cwhy"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
C++ Apache License 2.0 UpdatedOct 26, 2023 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedMar 17, 2023 -
www.rust-lang.org Public
Forked from rust-lang/www.rust-lang.orgThe home of the Rust website
Fluent Apache License 2.0 UpdatedSep 28, 2022 -
type-layout Public
Artifact for "Filling a Niche: Using Spare Bits to Optimize Data Representation"
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJun 28, 2022 -
minifier-rs Public
Forked from GuillaumeGomez/minifier-rsMinifier tool/lib for JS/CSS/JSON files
Rust MIT License UpdatedMar 14, 2022 -
rustfix Public
Forked from rust-lang/rustfixAutomatically apply the suggestions made by rustc
Rust Other UpdatedFeb 18, 2022