Amanieu / minicovLinks
Code coverage support for Rust `no_std` and embedded programs
☆60Updated last week
Alternatives and similar repositories for minicov
Users that are interested in minicov are comparing it to the libraries listed below
Sorting:
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- An exploration into the various ways optional trait methods can be implemented in Rust.☆42Updated 5 months ago
- ☆91Updated last year
- Data structures like Rust `alloc` which reuse user allocated memory☆61Updated last month
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆88Updated 2 years ago
- Run *nix system calls directly in Rust☆62Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A dynamic binary tracing tool☆67Updated 3 years ago
- ☆37Updated 11 months ago
- Rust std::io with all the parts that don't work in core removed.☆36Updated 2 years ago
- A collection of small utilities for working with pointer types in Rust.☆131Updated 10 months ago
- Faster integer division and modulus operations☆87Updated 5 months ago
- The bare essentials of std::io for use in no_std. Alloc support is optional.☆76Updated 2 years ago
- Scroll - making scrolling through buffers fun since 2016☆178Updated 2 months ago
- #[no_std] print equivalent for Rust☆65Updated last month
- Library facilitating safe pinned initialization☆67Updated last month
- Tool to print stack usage information emitted by LLVM in human readable format☆57Updated 3 years ago
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- Bare-metal allocators.☆76Updated 3 years ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆122Updated 3 months ago
- A cargo subcommand, that runs valgrind and displays its output in a helpful manner. Tailored to Rust.☆157Updated last month
- Macro for sealing traits and structures☆59Updated last year
- Project group working on the "safe transmute" feature☆96Updated last year
- Minimal support for uart_16550 serial output.☆39Updated 4 months ago
- home for proposals in and around compile-time function evaluation☆111Updated 2 years ago
- Synchronization primitives for lazy and one-time initialization (no_std compatible).☆34Updated 8 months ago
- Stack unwinding library in Rust☆99Updated 3 months ago
- dlmalloc ported into Rust☆112Updated 2 weeks ago
- A simple spinlock crate based on the abstractions provided by the `lock_api` crate.☆41Updated 2 years ago