JGiraldo29 / vekosLinks
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆205Updated 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.☆322Updated last week
- The Kernel of CharlotteOS☆112Updated 7 months ago
- A Rust crate for containing memory leaks and fragmentation☆234Updated last month
- A fast and flexible allocator for no_std and WebAssembly☆474Updated last month
- Core POSIX command line utilities in safe Rust☆374Updated 3 weeks ago
- The strongly-typed, compiled language for creating route filters, used by Rotonda.☆277Updated this week
- Debug breakpoint assertions for Rust☆182Updated 5 months ago
- 🐱 Experimental operating system written in Rust☆397Updated last year
- ☆204Updated 6 months ago
- Experimental WASM Microkernel Operating System☆470Updated this week
- An implementation of libc written in Rust☆290Updated last month
- Tiny Rust Async Linux Executor☆102Updated last month
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆408Updated 10 months ago
- A OS toy writen by pure rust☆142Updated 7 months ago
- An Operating System for Building Small Computers☆282Updated 4 months ago
- A hobby x86-64 operating system written in Rust☆138Updated 10 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆513Updated this week
- A safer zlib☆484Updated this week
- A simple, fast, and secure operating system for the cloud.☆923Updated this week
- Rust support for seL4 userspace☆156Updated last week
- Ygen - Yet another code generation libary (abandoned)☆108Updated this week
- Visualizing Rust codebases in a few seconds☆181Updated 10 months ago
- Nio is an experimental async runtime for Rust☆319Updated 5 months ago
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆505Updated 4 months ago
- an opensource operating system made for fun☆105Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated 9 months ago
- A Lisp interpreter written fully in rust macros.☆279Updated 8 months ago
- A C++/Rust interop tool☆297Updated this week
- Rust port of Spice, a low-overhead parallelization library☆640Updated 3 weeks ago
- Just like `serde`, but with more exhaustive error reporting capabilities. Designed for public API payloads.☆195Updated 2 months ago