Miri
An interpreter for Rust's mid-level IR that detects undefined behaviour in unsafe code.
ToolDev toolsrustundefined-behaviorunsafeinterpreter
Recommended in 1 thread
Rust Style Guidegoogle.github.io ·
Cited as stronger verification of unsafe code than C++ sanitizers.
Similar tools
- 1 thread
- 0 threads
- rust-glancer ↗Dev tools1 thread
A Rust code-analysis tool positioned as a lighter alternative for IDE support.
- 1 thread
- 1 thread
- Aeneas ↗Dev tools1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- cargo-hakari Dev tools1 thread
A Cargo tool that manages a workspace-hack crate to unify dependency features across a workspace.
- 1 thread
Also in Dev tools
- F-Droid3 threads
An app store distributing free and open-source Android apps.
- OpenCode2 threads
An open-source terminal coding agent harness.
- OrbStack2 threads
A macOS app for running Docker containers and Linux VMs.
- 2 threads
- lossy-git ↗2 threads
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
- uv2 threads
Fast Python package and project manager.
- Aeneas ↗1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- 1 thread
- 1 thread
- Aurora Store1 thread
An open-source alternative client for downloading apps from Google Play.
- Blink Shell1 thread
A terminal emulator and SSH/Mosh client for iOS.
- 1 thread