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
352 forks
Language: Rust
last commit: 10 months 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,531 |
 dtolnay/cxx | A library providing safe and idiomatic interop between Rust and C++ | 5,980 |
 anima-engine/mrusty | Bindings between Rust and Ruby that enable safe interaction with Ruby code. | 205 |
 imgui-rs/imgui-rs | Rust bindings for Dear ImGui | 2,707 |
 rust-cli/human-panic | Improves error messages to provide helpful information and encourage users to report issues. | 1,707 |
 mlua-rs/mlua | Bindings to the Lua programming language for Rust with support for asynchronous execution and WebAssembly. | 1,821 |
| rust-lang/rust-clippy | A collection of rules to help improve Rust code by detecting common mistakes and suggesting improvements. | 11,559 |
 rhaiscript/rhai | A scripting language and evaluation engine designed to be embedded in Rust applications. | 3,898 |
 geiger-rs/cargo-geiger | Detects usage of unsafe Rust in Rust crates and their dependencies to provide statistical input for auditing. | 1,415 |
 rust-embedded/rust-raspberrypi-os-tutorials | A tutorial series for developing operating systems from scratch using Rust on ARMv8-A architecture | 13,798 |
 rust-windowing/winit | A library that provides a low-level window creation and management system for building cross-platform GUI applications | 4,940 |
 obi1kenobi/cargo-semver-checks | Tool to check Rust crate API changes for semver violations during releases | 1,228 |
 bincode-org/bincode | A compact binary encoder/decoder implementation for Rust | 2,748 |
 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,128 |