hypatia-hypervisor / hypatiaLinks
The Hypatia Type-1 Hypervisor
☆13Updated last month
Alternatives and similar repositories for hypatia
Users that are interested in hypatia are comparing it to the libraries listed below
Sorting:
- Dust your Rust with USDT probes☆131Updated this week
- What if we could check declarative macros before using them?☆51Updated last year
- Prototype debugger for lilos☆27Updated 11 months ago
- Locks compatible with std::sync, but with runtime deadlock debugging for testing purposes☆26Updated 2 years ago
- Compile Rust compiler using Buck2☆68Updated 3 weeks ago
- Linux linker for x86 and x86-64☆31Updated 8 months ago
- A tool to help with minimization of Rust code☆67Updated 3 months ago
- ☆76Updated 3 weeks ago
- Ergonomic Type Diffs☆67Updated 4 months ago
- A memory efficient syntax tree for language developers☆64Updated last month
- Rust microbenchmarking harness based on paired-testing methodology☆147Updated last week
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆29Updated last year
- An unordered multiset/bag implementation backed by HashMap☆75Updated last week
- Umbrella repository for Krabcake experiments☆48Updated last year
- Simple refinement types for Rust; parse, don't validate!☆76Updated last week
- Choose Rust types at compile-time via constants☆70Updated 2 years ago
- Map data structure whose keys are stored as ranges☆100Updated last month
- Rust library that provides helpers for testing resilience of I/O operations.☆33Updated 2 years ago
- A pure-rust protobuf compiler, designed for use with prost-build☆102Updated 2 months ago
- Bare-metal allocators.☆76Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A simple, id-based arena☆125Updated 3 weeks ago
- ☆149Updated 4 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆263Updated 4 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated last month
- Procedural macro to easily write higher-order strategies in proptest.☆48Updated 2 weeks ago
- High quality, fast and easy to build cryptography for Rust☆229Updated last week
- Wraps cargo to move target directories to a central location [super experimental]☆30Updated last year
- Experimenting with Rust's fundamental data model☆58Updated 4 months ago
- ☆55Updated 5 months ago