Matthias Krüger's repositories
glacier2
forked from https://github.com/rust-lang/glacier
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
tree-splicer
Simple grammar-based test case generator
rust-analyzer
An experimental Rust compiler front-end for IDEs
rustfmt
Format Rust code
rustc_codegen_cranelift
Cranelift based backend for rustc
miri
An interpreter for Rust's mid-level intermediate representation
kani
Kani Rust Verifier
cargo-cache
manage cargo cache (${CARGO_HOME}, ~/.cargo/), print sizes of dirs and remove dirs selectively
glacier
A big 'ol pile of ICE.
sccache
sccache is ccache with cloud storage
clippy_crashfinder
crate to run clippy against all crates in the local cargo cache
wesnoth
Free, turn-based strategy game with a high fantasy theme, featuring both singleplayer and online/hotseat multiplayer combat.
rustup
The Rust toolchain installer
cargo-bloat
Find out what takes most of the space in your executable.
recipes
bunch of ccoking recipes
rustc-pr-tracking
Statistics about PRs on the rustc repository.
i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
gitdiffbinstat
A bash script to get a git diff --shortstat-like output for changes in binary files
cargo
The Rust package manager
alacritty
A cross-platform, GPU-accelerated terminal emulator
highfive
Github hooks to provide an encouraging atmosphere for new contributors