JGiraldo29 / vekos
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆204Updated last month
Alternatives and similar repositories for vekos:
Users that are interested in vekos are comparing it to the libraries listed below
- The Kernel of CharlotteOS☆112Updated 5 months ago
- Core POSIX command line utilities in safe Rust☆374Updated this week
- Experimental WASM Microkernel Operating System☆343Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆456Updated this week
- A Rust crate for containing memory leaks and fragmentation☆230Updated this week
- ☆204Updated 4 months ago
- A safer zlib☆447Updated this week
- Rust port of Spice, a low-overhead parallelization library☆629Updated last week
- A tiny, interpreted WebAssembly Runtime written in Rust☆504Updated 2 weeks ago
- A simple, fast, and secure operating system for the cloud.☆921Updated this week
- Nio is an experimental async runtime for Rust☆319Updated 4 months ago
- Debug breakpoint assertions for Rust☆182Updated 4 months ago
- userspace nvme driver☆98Updated 7 months ago
- An experimental modern general-purpose microkernel OS.☆97Updated this week
- Visualizing Rust codebases in a few seconds☆178Updated 9 months ago
- Just like `serde`, but with more exhaustive error reporting capabilities. Designed for public API payloads.☆189Updated last month
- a game where you're given a potato and your job is to implement a firmware for it☆449Updated this week
- Tiny Rust Async Linux Executor☆85Updated last month
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 8 months ago
- aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the pop…☆428Updated 2 weeks ago
- A Lisp interpreter written fully in rust macros.☆276Updated 7 months ago
- 🐱 Experimental operating system written in Rust☆396Updated last year
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆400Updated 9 months ago
- An embedded, in-memory, zero-copy, atomicity, consistency, isolation, MVCC, almost lock-free and serializable snapshot isolation database…☆221Updated 5 months ago
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆490Updated 3 months ago
- A OS toy writen by pure rust☆141Updated 5 months ago
- An Operating System for Building Small Computers☆276Updated 2 months ago
- A hobby x86-64 operating system written in Rust☆137Updated 8 months ago
- A stupid Rust memory allocator☆193Updated 2 months ago
- ☆269Updated 2 months ago