git-bruh / vmmLinks
Small KVM-based hypervisor, boots Linux (WIP)
☆13Updated last year
Alternatives and similar repositories for vmm
Users that are interested in vmm are comparing it to the libraries listed below
Sorting:
- Translations of a simple C program to Rust.☆140Updated 2 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆25Updated 7 months ago
- ☆58Updated 5 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 7 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- world's worst interpreter☆66Updated 8 months ago
- ☆60Updated 2 months ago
- Lightweight exceptions for Rust☆91Updated 2 weeks ago
- Debugging WebAssembly? Put some Whamm! on it.☆63Updated last week
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- SIMD base64 codecs☆88Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆129Updated last month
- A benchmark for standalone WebAssembly☆37Updated last year
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆273Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- MnemOS Global Networking Protocol☆15Updated last year
- RFC process for Bytecode Alliance projects☆73Updated 3 months ago
- ☆52Updated last month
- Wasm Analysis Framework For Lightweight Experiments☆53Updated 5 months ago
- Fast multi-producer, multi-consumer unbounded channel with async support.☆108Updated 3 years ago
- the WebAssembly partial evaluator☆110Updated 4 months ago
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- Universe for growing software.☆45Updated last week
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- The Xr0 Verifier for C☆179Updated 8 months ago
- Fast and correct async IO runtime in a small amount of readable code. Inspired by tokio☆71Updated last year
- userspace nvme driver☆107Updated 5 months ago
- 🌌 A very small graph database (WIP, inactive)☆25Updated last year
- Comparing performance-oriented string-processing libraries for substring search, multi-pattern matching, hashing, edit-distances, sketchi…☆134Updated last week