JGiraldo29 / vekos
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆183Updated 2 weeks ago
Alternatives and similar repositories for vekos:
Users that are interested in vekos are comparing it to the libraries listed below
- ☆203Updated 2 months ago
- Core POSIX command line utilities in safe Rust☆338Updated last week
- Experimental WASM Microkernel Operating System☆308Updated this week
- userspace nvme driver☆97Updated 5 months ago
- An Operating System for Building Small Computers☆274Updated last month
- Debug breakpoint assertions for Rust☆180Updated 2 months ago
- A OS toy writen by pure rust☆140Updated 3 months ago
- The Kernel of CharlotteOS☆112Updated 3 months ago
- A hobby x86-64 operating system written in Rust☆134Updated 6 months ago
- A simple, fast, and secure operating system for the cloud.☆910Updated this week
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆401Updated 7 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆490Updated last week
- Visualizing Rust codebases in a few seconds☆169Updated 7 months ago
- A fast and flexible allocator for no_std and WebAssembly☆444Updated 2 months ago
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆481Updated last month
- A Lisp interpreter written fully in rust macros.☆274Updated 5 months ago
- 🐱 Experimental operating system written in Rust☆395Updated last year
- Tiny Rust Async Linux Executor☆83Updated last week
- An experimental modern general-purpose microkernel OS.☆81Updated this week
- A crate to protect against malicious JSON payloads.☆64Updated 4 months ago
- An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.☆525Updated 6 months ago
- a game where you're given a potato and your job is to implement a firmware for it☆390Updated this week
- Rust support for seL4 userspace☆131Updated this week
- Nio is an experimental async runtime for Rust☆317Updated 2 months ago
- Self-contained distributed software platform for building stateful, massively real-time streaming applications in Rust.☆330Updated 2 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆64Updated 6 months ago
- Scripting language for Rust.☆85Updated last month
- The Rust web framework for lazy developers.☆268Updated this week
- A physics based, space shooter game made with Rust and the Bevy engine.☆178Updated 2 months ago
- Build terminal-themed web applications with Rust and WebAssembly. Powered by Ratatui.☆415Updated last week