JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆204Updated 3 months ago
Alternatives and similar repositories for vekos
Users that are interested in vekos are comparing it to the libraries listed below
Sorting:
- An experimental modern general-purpose microkernel OS.☆337Updated this week
- A Rust crate for containing memory leaks and fragmentation☆238Updated last month
- Core POSIX command line utilities in safe Rust☆378Updated last month
- A fast and flexible allocator for no_std and WebAssembly☆483Updated last week
- ☆204Updated 6 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆693Updated this week
- The strongly-typed, compiled language for creating route filters, used by Rotonda.☆307Updated last week
- The Kernel of CharlotteOS☆112Updated 7 months ago
- A programming language that is a minimal subset of Rust☆99Updated last week
- Debug breakpoint assertions for Rust☆185Updated 6 months ago
- Rust implementation of the Zstandard Seekable Format☆186Updated 3 weeks ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆522Updated last week
- 🐱 Experimental operating system written in Rust☆398Updated last year
- A OS toy writen by pure rust☆142Updated 7 months ago
- Experimental WASM Microkernel Operating System☆500Updated this week
- An Operating System for Building Small Computers☆283Updated 5 months ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆408Updated 11 months ago
- Tiny Rust Async Linux Executor☆103Updated last month
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 10 months ago
- Nio is an experimental async runtime for Rust☆320Updated 6 months ago
- An embedded, in-memory, zero-copy, atomicity, consistency, isolation, MVCC, almost lock-free and serializable snapshot isolation database…☆223Updated 7 months ago
- A hobby x86-64 operating system written in Rust☆138Updated 10 months ago
- Just like `serde`, but with more exhaustive error reporting capabilities. Designed for public API payloads.☆198Updated 3 months ago
- ☆269Updated 4 months ago
- A crate to protect against malicious JSON payloads.☆64Updated 8 months ago
- A safer zlib☆498Updated this week
- A stupid Rust memory allocator☆194Updated 4 months ago
- An implementation of libc written in Rust☆292Updated last month
- Rust support for seL4 userspace☆160Updated this week
- Rust port of Spice, a low-overhead parallelization library☆646Updated last month