JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆212Updated 4 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.☆429Updated 2 months ago
- Core POSIX command line utilities in safe Rust☆403Updated this week
- A Rust crate for containing memory leaks and fragmentation☆248Updated 8 months ago
- Patina Firmware☆503Updated this week
- An Operating System for Building Small Computers☆298Updated 11 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆800Updated 6 months ago
- The Kernel of CharlotteOS☆113Updated last year
- A fast and flexible allocator for no_std and WebAssembly☆521Updated 6 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆438Updated this week
- A crate to protect against malicious JSON payloads.☆63Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- A OS toy writen by pure rust☆140Updated last year
- Rust Linux-compatible kernel☆1,658Updated this week
- Rust implementation of the Zstandard Seekable Format☆252Updated this week
- A hobby x86-64 operating system written in Rust☆144Updated last year
- Debug breakpoint assertions for Rust☆195Updated last month
- ☆61Updated last year
- ParvaOS is an Operating System created completely in Rust 🦀☆162Updated 5 months ago
- ☆204Updated last year
- Tiny Rust Async Linux Executor☆111Updated 8 months ago
- LRVM - A lightweight but powerful virtual machine runtime written in Rust☆91Updated 3 months ago
- Scripting language for Rust.☆106Updated 6 months ago
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆249Updated last week
- A new schemafull, Postgres compatible, high-performance database written from scratch in Rust. https://crates.io/crates/rasterizeddb_core☆222Updated this week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆469Updated this week
- An encrypted file system written in Rust that is mounted with FUSE on Linux. It can be used to create encrypted directories☆166Updated last month
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆469Updated 5 months ago
- Rust support for seL4 userspace☆179Updated last month
- ☆54Updated last year
- Experimental WASM Microkernel Operating System☆599Updated this week