m4b / dryad
An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
☆168Updated 7 years ago
Alternatives and similar repositories for dryad:
Users that are interested in dryad are comparing it to the libraries listed below
- Magical ELF and Mach-o object file writer backend☆273Updated 10 months ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- rust elf parsing, manipulation and (re)linking toolkit☆206Updated 4 years ago
- A graphical debugger for Rust MIR☆187Updated 2 years ago
- Type-safe transmutations between layout-compatible types.☆121Updated 4 years ago
- A kernel module written in Rust☆136Updated 5 years ago
- Allocators in Rust☆311Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆322Updated 4 years ago
- elf parser and navigation tool, pure Rust☆164Updated 4 months ago
- GLL parsing framework.☆137Updated 11 months ago
- dlmalloc ported into Rust☆98Updated last week
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year
- An interface to a generic allocator so a no_std rust library can allocate memory, with, or without stdlib being linked.☆174Updated last year
- tracking performance of rustc-generated binaries over time☆103Updated 2 years ago
- rust verification condition generator☆93Updated 8 years ago
- Rust macro to generate self-referential structs☆210Updated 3 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
- Automatic testing of FFI bindings for Rust☆122Updated 3 years ago
- Verification working group☆104Updated 6 years ago
- JS affine☆66Updated 4 years ago
- Rust library to use x86 (amd64) specific functionality and registers.☆312Updated last year
- LLVM wrappers for Rust☆68Updated 7 years ago
- Rust bindings for the unicorn CPU emulator☆139Updated 4 years ago
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆114Updated 6 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆149Updated 9 months ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 5 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 3 years ago
- Modeling NLL and the Rust borrowck☆81Updated 7 years ago
- symbolic execution engine for Rust☆350Updated 6 years ago