JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆208Updated 3 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.☆420Updated last month
- A Rust crate for containing memory leaks and fragmentation☆245Updated 7 months ago
- Core POSIX command line utilities in safe Rust☆397Updated this week
- Patina Firmware☆489Updated last week
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆791Updated 5 months ago
- A OS toy writen by pure rust☆143Updated last year
- The Kernel of CharlotteOS☆113Updated last year
- ☆203Updated last year
- Debug breakpoint assertions for Rust☆196Updated 11 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆417Updated last week
- A fast and flexible allocator for no_std and WebAssembly☆519Updated 5 months ago
- A programming language that is a minimal subset of Rust☆283Updated 3 weeks ago
- Rust Linux-compatible kernel☆1,242Updated this week
- Rust implementation of the Zstandard Seekable Format☆247Updated this week
- An Operating System for Building Small Computers☆298Updated 10 months ago
- 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☆66Updated last year
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆461Updated 3 months ago
- Scripting language for Rust.☆105Updated 5 months ago
- Tiny Rust Async Linux Executor☆106Updated 7 months ago
- A new schemafull, Postgres compatible, high-performance database written from scratch in Rust. https://crates.io/crates/rasterizeddb_core☆216Updated last month
- A simple example with Rust and Cosmopolitan Libc☆203Updated 2 years ago
- An implementation of libc written in Rust☆305Updated last month
- ☆61Updated 11 months ago
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆242Updated this week
- userspace nvme driver☆106Updated 5 months ago
- Rust support for seL4 userspace☆177Updated last week
- Lightweight exceptions for Rust☆89Updated last week
- A hobby x86-64 operating system written in Rust☆145Updated last year
- A tiny, interpreted WebAssembly Runtime written in Rust☆542Updated 2 months ago