hermit-os / hermit-rs-templateLinks
An application template for Hermit for Rust.
☆37Updated 3 weeks ago
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:
- The Hermit bootloader.☆79Updated last week
- Memory validation framework for Rust☆70Updated 2 months ago
- An alternative `std`-like implementation built on origin☆31Updated 8 months ago
- A rust crate that provides a space efficient 𝛿-based CRDT implementation☆131Updated this week
- pikchr diagram rendering crate☆15Updated 9 months ago
- A simple macro to create correct opaque pointers☆21Updated 4 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- ☆16Updated last year
- Example implementation of stack tokens for Rust☆33Updated 3 years ago
- The official implementation of the ChaCha12-BLAKE3 AEAD cipher - https://kerkour.com/chacha12-blake3☆60Updated 3 months ago
- A Rusty CUDA wrapper☆32Updated 3 years ago
- Human-friendly indexed collections☆56Updated last month
- PEG trace visualizer☆91Updated last month
- Dust your Rust with USDT probes☆127Updated 3 weeks ago
- Experimenting with Rust's fundamental data model☆54Updated last month
- Simple monolithic kernel written in Rust for x86-64☆24Updated 9 months ago
- Exhaustive iteration trait in Rust☆18Updated last week
- Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast …☆61Updated last year
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆65Updated 2 months ago
- ☆36Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A tool for generating geometric figures based on definitions and rules.☆20Updated 11 months ago
- A Mutex wrapper tracking acquisition order☆74Updated last week
- Extensions to the Rust standard library☆49Updated 11 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆48Updated last week
- Helps you frob those bits☆41Updated last year
- Cross-platform, endian-aware primitives for Rust☆42Updated 2 months ago
- A FUSE server implementation for Rust.☆43Updated 8 months ago
- A cargo subcommand that extends cargo's capabilities when it comes to code generation.☆62Updated 4 months ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆43Updated 8 months ago