JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆211Updated 5 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.☆431Updated this week
- A Rust crate for containing memory leaks and fragmentation☆249Updated 9 months ago
- Core POSIX command line utilities in safe Rust☆405Updated this week
- Patina Firmware☆509Updated this week
- The Kernel of CharlotteOS☆114Updated last year
- Debug breakpoint assertions for Rust☆195Updated last month
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆447Updated last week
- An Operating System for Building Small Computers☆301Updated last year
- A fast and flexible allocator for no_std and WebAssembly☆522Updated 7 months ago
- Rust implementation of the Zstandard Seekable Format☆254Updated 2 weeks ago
- LRVM - A lightweight but powerful virtual machine runtime written in Rust☆92Updated 4 months ago
- Tiny Rust Async Linux Executor☆111Updated 8 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆799Updated 7 months ago
- ☆204Updated last year
- A crate to protect against malicious JSON payloads.☆63Updated last year
- A tiny, interpreted WebAssembly Runtime written in Rust☆551Updated 3 months ago
- A new schemafull, Postgres compatible, high-performance database written from scratch in Rust. https://crates.io/crates/rasterizeddb_core☆229Updated 2 weeks ago
- A OS toy writen by pure rust☆140Updated last year
- Scripting language for Rust.☆108Updated 7 months ago
- Embedded time-series database for Rust☆208Updated 2 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- Rust Linux-compatible kernel☆1,671Updated this week
- A hobby x86-64 operating system written in Rust☆145Updated last year
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆473Updated 5 months ago
- Rust support for seL4 userspace☆182Updated 2 months ago
- 🐱 Experimental operating system written in Rust☆404Updated 2 years ago
- userspace nvme driver☆108Updated 7 months ago
- 🌀 Async-first sharded hashmap for Rust.☆540Updated last year
- A simple, fast, and secure operating system for the cloud.☆1,066Updated last week
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆250Updated 2 weeks ago