JGiraldo29 / vekos
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
☆135Updated this week
Alternatives and similar repositories for vekos:
Users that are interested in vekos are comparing it to the libraries listed below
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated 2 months ago
- Core POSIX command line utilities in safe Rust☆332Updated last week
- ☆197Updated 2 weeks ago
- What do you call a pointer we stole the high bits off? An ointer.☆85Updated last year
- Cryptanalysis of the Enigma machine in Rust.☆125Updated 3 years ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆63Updated 4 months ago
- A crate to protect against malicious JSON payloads.☆66Updated last month
- Debug breakpoint assertions for Rust☆177Updated last week
- Experimental WASM Microkernel Operating System☆281Updated this week
- rust wrapper for linux kernel library☆46Updated last year
- Fast multi-producer, multi-consumer unbounded channel with async support.☆101Updated 2 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆119Updated 11 months ago
- Bertie TLS 1.3 Implementation☆113Updated 2 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆426Updated 3 weeks ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆393Updated 5 months ago
- Visualizing Rust codebases in a few seconds☆165Updated 5 months ago
- Tiny Rust Async Linux Executor☆55Updated 5 months ago
- Translations of a simple C program to Rust.☆138Updated last year
- Multimodal routing in Rust☆96Updated this week
- Self-contained distributed software platform for building stateful, massively real-time streaming applications in Rust.☆320Updated this week
- xv6 OS☆237Updated 3 weeks ago
- A zero-copy Rust library that builds and parses network packets in-place.☆100Updated 4 months ago
- Load testing framework in Rust☆107Updated 4 months ago
- Rust port of Spice, a low-overhead parallelization library☆572Updated 2 months ago
- A Lisp interpreter written fully in rust macros.☆268Updated 3 months ago
- A terminal theater for playing VT100 art and animations☆97Updated last month
- Deadly simple package manager☆99Updated 10 months ago
- c'est le marché☆38Updated last year
- Framework of Operating System Development☆108Updated 3 months ago
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆447Updated last week