m4b / dryadLinks
An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
☆171Updated 7 years ago
Alternatives and similar repositories for dryad
Users that are interested in dryad are comparing it to the libraries listed below
Sorting:
- rust elf parsing, manipulation and (re)linking toolkit☆205Updated 5 years ago
- Magical ELF and Mach-o object file writer backend☆284Updated last year
- A kernel module written in Rust☆135Updated 6 years ago
- A graphical debugger for Rust MIR☆197Updated 3 years ago
- elf parser and navigation tool, pure Rust☆170Updated 6 months ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- GLL parsing framework.☆138Updated last year
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- Allocators in Rust☆316Updated 5 years ago
- LLVM wrappers for Rust☆70Updated 8 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆103Updated 6 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆323Updated 4 years ago
- Safe LLVM bindings for Rust☆22Updated last year
- Callgraphs for Rust programs☆32Updated 10 years ago
- Verification working group☆104Updated 6 years ago
- symbolic execution engine for Rust☆356Updated 7 years ago
- garbage collection☆323Updated 6 years ago
- rust verification condition generator☆96Updated 9 years ago
- An interface to a generic allocator so a no_std rust library can allocate memory, with, or without stdlib being linked.☆175Updated last year
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- My Master's Thesis??☆69Updated 9 years ago
- A very small GC in Rust, with a safe API☆63Updated last year
- An experimental standard library☆229Updated 9 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- Rust library to use x86 (amd64) specific functionality and registers.☆314Updated last year
- A small Rust library that allows users to reinterpret data of certain types safely.☆40Updated 4 years ago
- Safe Rust LLVM bindings☆125Updated 8 years ago