JGiraldo29 / vekos
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆203Updated last month
Alternatives and similar repositories for vekos:
Users that are interested in vekos are comparing it to the libraries listed below
- A fast and flexible allocator for no_std and WebAssembly☆453Updated 4 months ago
- Core POSIX command line utilities in safe Rust☆342Updated last month
- Experimental WASM Microkernel Operating System☆318Updated last week
- ☆204Updated 3 months ago
- An Operating System for Building Small Computers☆276Updated 2 months ago
- A OS toy writen by pure rust☆140Updated 5 months ago
- The Kernel of CharlotteOS☆112Updated 4 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆496Updated 2 weeks ago
- Tiny Rust Async Linux Executor☆85Updated last month
- 🐱 Experimental operating system written in Rust☆397Updated last year
- An experimental modern general-purpose microkernel OS.☆92Updated this week
- A simple, fast, and secure operating system for the cloud.☆919Updated this week
- A fast, memory-safe web server written in Rust.☆341Updated this week
- Nio is an experimental async runtime for Rust☆319Updated 3 months ago
- An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.☆527Updated 7 months ago
- A hobby x86-64 operating system written in Rust☆136Updated 8 months ago
- A Lisp interpreter written fully in rust macros.☆276Updated 6 months ago
- Debug breakpoint assertions for Rust☆182Updated 3 months ago
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆488Updated 2 months ago
- Build terminal-themed web applications with Rust and WebAssembly. Powered by Ratatui.☆471Updated this week
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆402Updated 8 months ago
- A safer zlib☆437Updated last week
- Visualizing Rust codebases in a few seconds☆176Updated 8 months ago
- ☆264Updated last month
- An implementation of libc written in Rust☆280Updated 3 weeks ago
- Rust programs written entirely in Rust☆821Updated 3 weeks ago
- Just like `serde`, but with more exhaustive error reporting capabilities. Designed for public API payloads.☆183Updated 2 weeks ago
- xv6 OS☆238Updated 3 weeks ago
- Rust port of Spice, a low-overhead parallelization library☆595Updated 2 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 7 months ago