Freax13 / test-kernelLinks
☆13Updated 2 years ago
Alternatives and similar repositories for test-kernel
Users that are interested in test-kernel are comparing it to the libraries listed below
Sorting:
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- New register allocator designed as a successor to regalloc2☆38Updated this week
- ☆88Updated last year
- Rust compile-time type information experiment☆18Updated 2 years ago
- Rust bindings for libgccjit☆23Updated 2 months ago
- Proc macro implementation of #[naked]☆31Updated 2 years ago
- Library facilitating safe pinned initialization☆54Updated last week
- DWARF program analysis crate☆19Updated last year
- Allows for proper and easy handling of volatile memory☆39Updated last year
- A high-level API for interacting with SMT solvers.☆28Updated 2 months ago
- A minimal Kernel written in Rust☆44Updated 8 months ago
- drop-in replacement for libfuzzer☆70Updated 3 months ago
- Experimenting with Rust's fundamental data model☆52Updated this week
- ☆16Updated last year
- Extremely minimal parser for ELF/PE/Mach-o/ar☆41Updated 4 years ago
- A simple macro to create correct opaque pointers☆22Updated 4 years ago
- program analysis for machine code☆36Updated 3 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environments☆49Updated last week
- Program analysis playground for a simple, imperative language☆36Updated 3 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated 8 months ago
- Rust macros that produce the name of the function they're invoked within.☆22Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- A dynamic binary tracing tool☆67Updated 3 years ago
- A reasonable theorem prover for your reasoning tasks!☆26Updated 5 months ago
- ☆47Updated 2 weeks ago
- Useful types for dealing with PCI☆33Updated 9 months ago
- Higher level LLDB bindings for Rust built on lldb-sys.☆60Updated 5 months ago
- Exhaustive iteration trait in Rust☆16Updated 2 weeks ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago