JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆204Updated 4 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☆238Updated 2 months ago
- An experimental modern general-purpose microkernel OS.☆357Updated last week
- Core POSIX command line utilities in safe Rust☆380Updated 2 months ago
- The Kernel of CharlotteOS☆112Updated 8 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆735Updated 3 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆489Updated 3 weeks ago
- A OS toy writen by pure rust☆142Updated 8 months ago
- Rust implementation of the Zstandard Seekable Format☆222Updated last week
- ☆204Updated 7 months ago
- Debug breakpoint assertions for Rust☆185Updated 7 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 11 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆322Updated this week
- Experimental WASM Microkernel Operating System☆509Updated last week
- An Operating System for Building Small Computers☆285Updated 5 months ago
- Tiny Rust Async Linux Executor☆103Updated 2 months ago
- A hobby x86-64 operating system written in Rust☆138Updated 11 months ago
- an opensource operating system made for fun☆136Updated this week
- A simple, fast, and secure operating system for the cloud.☆938Updated this week
- A crate to protect against malicious JSON payloads.☆64Updated 8 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆529Updated 2 weeks ago
- Scripting language for Rust.☆92Updated 2 weeks ago
- 🐱 Experimental operating system written in Rust☆400Updated last year
- LRVM - A lightweight but powerful virtual machine runtime written in Rust☆80Updated 4 months ago
- ParvaOS is an Operating System created completely in Rust 🦀☆123Updated 2 weeks ago
- userspace nvme driver☆102Updated last week
- An implementation of libc written in Rust☆294Updated 2 months ago
- Rust support for seL4 userspace☆161Updated 2 weeks ago
- Ygen - Yet another code generation libary (abandoned)☆110Updated 2 weeks ago
- A programming language that is a minimal subset of Rust☆106Updated last month
- A simple example with Rust and Cosmopolitan Libc☆198Updated last year