m4b / dryadLinks
An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
☆169Updated 7 years ago
Alternatives and similar repositories for dryad
Users that are interested in dryad are comparing it to the libraries listed below
Sorting:
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- rust elf parsing, manipulation and (re)linking toolkit☆205Updated 4 years ago
- Magical ELF and Mach-o object file writer backend☆277Updated last year
- GLL parsing framework.☆137Updated last year
- A graphical debugger for Rust MIR☆190Updated 2 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- elf parser and navigation tool, pure Rust☆168Updated 2 months ago
- A library that provides a way to logically own objects, whether or not heap allocation is available☆69Updated 11 months ago
- A kernel module written in Rust☆136Updated 6 years ago
- Allocators in Rust☆313Updated 5 years ago
- Safe LLVM bindings for Rust☆21Updated last year
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- symbolic execution engine for Rust☆353Updated 6 years ago
- LLVM wrappers for Rust☆68Updated 7 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆320Updated 4 years ago
- Verification working group☆104Updated 6 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- Automatic testing of FFI bindings for Rust☆122Updated 3 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆521Updated 3 years ago
- dlmalloc ported into Rust☆104Updated 2 months ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106Updated 2 years ago
- Rust library to use x86 (amd64) specific functionality and registers.☆314Updated last year
- Rust bindings for the unicorn CPU emulator☆140Updated 4 years ago
- rust verification condition generator☆96Updated 8 years ago
- garbage collection☆321Updated 5 years ago
- A typed parser generator embedded in Rust code for Parsing Expression Grammars☆143Updated 3 months ago
- An experimental standard library☆228Updated 9 years ago
- A JIT experiment in Rust☆138Updated 11 months ago