eddyb / sobek
Reverse engineering framework.
☆36Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sobek
- A symbolic evaluator for MIR☆19Updated 4 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 9 months ago
- Target "triple" support☆47Updated last month
- A Rust implementation of the Strobe protocol framework☆25Updated 3 months ago
- Check that a crate builds without libstd☆24Updated 3 years ago
- Arbitrary precision integers library.☆26Updated 3 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- constant-size associative container backed by a simple array☆19Updated last year
- scraps of a potential language☆37Updated 3 years ago
- Managing Rust dependencies via a dashboard☆48Updated last year
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆33Updated last week
- An experiment in embedding layout computations in the type system.☆16Updated 5 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆10Updated 9 months ago
- dom-like layout for terminal applications☆12Updated 3 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- Trait and macro for unitary enums☆16Updated last year
- A wrapper for build.rs instructions☆16Updated last year
- ☆10Updated 4 years ago
- Ambient Authority☆19Updated last year
- ☆24Updated 3 years ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Rust library for marker traits about types layout in memory☆22Updated 4 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆31Updated 4 years ago
- An async allocator with Fun™️ unsafe Rust☆18Updated last year
- New register allocator designed as a successor to regalloc2☆29Updated this week
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.☆18Updated 7 years ago