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☆104Updated this week
- Ergonomic Type Diffs☆53Updated 2 months ago
- Rust library that provides helpers for testing resilience of I/O operations.☆32Updated 2 years ago
- Prototype debugger for lilos☆26Updated 3 months ago
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆44Updated 3 years ago
- Simple refinement types for Rust; parse, don't validate!☆74Updated 2 months ago
- Serde serializer for generating Starlark build targets☆66Updated last month
- Alternative future adapters that provide cancel safety.☆64Updated 3 weeks ago
- Imitate the documentation build that docs.rs would do☆51Updated 4 months ago
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆56Updated 2 weeks ago
- ☆69Updated 3 weeks ago
- Linux linker for x86 and x86-64☆31Updated 2 weeks ago
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆28Updated 7 months ago
- A plugin for Criterion.rs to measure Linux perf events.☆43Updated last year
- Compile Rust compiler using Buck2☆47Updated last month
- This custom Rust allocator logs all memory actions for further analysis☆54Updated 4 years ago
- Parse JSON file at compile time and embed as serde_json::Value☆28Updated 3 months ago
- The never type (the true one!) in stable Rust.☆37Updated 3 years ago
- Cargo subcommand for proper use of -Z minimal-versions and -Z direct-minimal-versions.☆57Updated 2 weeks ago
- ☆32Updated 7 months ago
- PEG trace visualizer☆86Updated 4 months ago
- Library facilitating safe pinned initialization☆41Updated last week
- String formatting utilities that return impl Display and are 100% no_std compatible☆39Updated 4 years ago
- Build-time configure scripts for Rust☆64Updated 5 months ago
- Textual tables with automatic alignment☆39Updated last year
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- Wraps cargo to move target directories to a central location [super experimental]☆30Updated 9 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆46Updated last week
- Asynchronous DNS lookups☆65Updated last year
- Unbuffered and unlocked I/O streams☆45Updated 3 months ago