hermit-os / hermit-rs-templateLinks
An application template for Hermit for Rust.
☆39Updated last month
Alternatives and similar repositories for hermit-rs-template
Users that are interested in hermit-rs-template are comparing it to the libraries listed below
Sorting:
- Memory validation framework for Rust☆75Updated 3 months ago
- The Hermit bootloader.☆81Updated this week
- ☆16Updated last year
- A rust crate that provides a space efficient 𝛿-based CRDT implementation☆141Updated this week
- Cross-platform, endian-aware primitives for Rust☆47Updated 3 months ago
- Easy access to individual bits of integers.☆51Updated 2 years ago
- Rust-based Unikernel☆133Updated 2 years 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…☆67Updated last month
- Experimenting with Rust's fundamental data model☆57Updated 3 months ago
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆29Updated last year
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated last week
- Extensions to the Rust standard library☆49Updated last year
- Propositional logic with types in Rust☆64Updated 2 years ago
- Target "triple" support☆54Updated last month
- Simple monolithic kernel written in Rust for x86-64☆23Updated 10 months ago
- Human-friendly indexed collections☆56Updated 3 months ago
- Example implementation of stack tokens for Rust☆33Updated 3 years ago
- ☆113Updated 2 years ago
- ☆36Updated last year
- Post-quantum endpoint-to-endpoint encryption for messaging, file-sharing, and secret remote file storage SDK☆153Updated last week
- A simple macro to create correct opaque pointers☆21Updated 4 years ago
- Rust traits for key comparison in maps.☆36Updated 11 months ago
- cross-platform Rust API for memory mapped IO☆42Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast …☆61Updated 2 years ago
- PEG trace visualizer☆94Updated 3 months ago
- A cargo subcommand that extends cargo's capabilities when it comes to code generation.☆62Updated 5 months ago
- Dust your Rust with USDT probes☆131Updated last week
- Alternative future adapters that provide cancel safety.☆80Updated 2 weeks ago
- madsim-inspired determinism for turmoil-based simulation tests☆50Updated 3 weeks ago