JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆205Updated 5 months ago
Alternatives and similar repositories for vekos
Users that are interested in vekos are comparing it to the libraries listed below
Sorting:
- A Rust crate for containing memory leaks and fragmentation☆243Updated 3 months ago
- An experimental modern general-purpose microkernel OS.☆378Updated 3 weeks ago
- Core POSIX command line utilities in safe Rust☆386Updated last month
- The Kernel of CharlotteOS☆112Updated 9 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆765Updated 2 months ago
- An Operating System for Building Small Computers☆290Updated 7 months ago
- A OS toy writen by pure rust☆143Updated 9 months ago
- Rust implementation of the Zstandard Seekable Format☆231Updated this week
- Debug breakpoint assertions for Rust☆186Updated 8 months ago
- A fast and flexible allocator for no_std and WebAssembly☆505Updated 2 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated last year
- Scripting language for Rust.☆93Updated last month
- Tiny Rust Async Linux Executor☆104Updated 3 months ago
- ☆204Updated 8 months ago
- A crate to protect against malicious JSON payloads.☆64Updated 10 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆331Updated last week
- ☆59Updated 8 months ago
- A hobby x86-64 operating system written in Rust☆140Updated last year
- A programming language that is a minimal subset of Rust☆138Updated last week
- A new schemafull, Postgres compatible, high-performance database written from scratch in Rust. https://crates.io/crates/rasterizeddb_core☆192Updated this week
- ParvaOS is an Operating System created completely in Rust 🦀☆155Updated last month
- 🐱 Experimental operating system written in Rust☆398Updated last year
- Visualizing Rust codebases in a few seconds☆186Updated last year
- Disk handling with Rust☆102Updated last month
- an opensource operating system made for fun☆136Updated this week
- LRVM - A lightweight but powerful virtual machine runtime written in Rust☆83Updated 6 months ago
- Experimental WASM Microkernel Operating System☆522Updated this week
- userspace nvme driver☆102Updated last month
- Ygen - Yet another code generation libary (abandoned)☆111Updated this week
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆422Updated 2 weeks ago