miri
Rust Analyzer
An Undefined Behavior detection tool for Rust that runs binaries and detects unsafe code and memory leaks.
An interpreter for Rust's mid-level intermediate representation
5k stars
59 watching
348 forks
Language: Rust
last commit: 6 days ago
Linked from 1 awesome list
not-yet-awesome-rust/not-yet-awesome-rustRelated projects:
| Repository | Description | Stars |
|---|---|---|
| rust-lang/rust-bindgen | Automates the process of creating Rust interfaces to C and C++ libraries. | 4,467 |
 dtolnay/cxx | A library providing safe and idiomatic interop between Rust and C++ | 5,897 |
 anima-engine/mrusty | Bindings between Rust and Ruby that enable safe interaction with Ruby code. | 204 |
 imgui-rs/imgui-rs | Rust bindings for Dear ImGui | 2,689 |
 rust-cli/human-panic | Improves error messages to provide helpful information and encourage users to report issues. | 1,696 |
 mlua-rs/mlua | Bindings to the Lua programming language for Rust with support for asynchronous execution and WebAssembly. | 1,733 |
| rust-lang/rust-clippy | A collection of rules to help improve Rust code by detecting common mistakes and suggesting improvements. | 11,467 |
 rhaiscript/rhai | A scripting language and evaluation engine designed to be embedded in Rust applications. | 3,831 |
 geiger-rs/cargo-geiger | Detects usage of unsafe Rust in Rust crates and their dependencies to provide statistical input for auditing. | 1,410 |
 rust-embedded/rust-raspberrypi-os-tutorials | A tutorial series for developing operating systems from scratch using Rust on ARMv8-A architecture | 13,693 |
 rust-windowing/winit | A cross-platform window creation and management library written in Rust. | 4,862 |
 obi1kenobi/cargo-semver-checks | Automates checking of Rust crate API changes for semver violations | 1,189 |
 bincode-org/bincode | A compact binary encoder/decoder implementation for Rust | 2,712 |
 kernelmachine/utah | A Rust crate providing type-conscious data manipulation with ndarray-backed tabular data structures. | 143 |
| rust-embedded/book | Documentation on using Rust to develop firmware for microcontrollers. | 1,121 |