lattice0 / qemu-insidesLinks
Insides of the Qemu source code, version 4.1 (stable)
☆12Updated 5 years ago
Alternatives and similar repositories for qemu-insides
Users that are interested in qemu-insides are comparing it to the libraries listed below
Sorting:
- VimL lisp evaluator☆10Updated 4 years ago
- A programming language, aka a THING☆10Updated 4 years ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 4 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- The Solo5 unikernel☆14Updated 6 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 5 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆37Updated 8 months ago
- Capability Distribution Language tools for seL4☆37Updated 3 months ago
- The OCaml findlib library manager☆34Updated 7 months ago
- Parse CSS value definition syntax as stated at https://drafts.csswg.org/css-values-3/#value-defs☆9Updated 4 years ago
- Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.☆9Updated 4 years ago
- Unix-specific portions of Core☆16Updated 2 weeks ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆33Updated 11 months ago
- 🍞 | IDE focused programming language study☆34Updated last year
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- ☆23Updated 3 weeks ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Lightweight, higher-order parser in Rust.☆12Updated 2 years ago
- Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)☆81Updated last month
- SFI verifier of Wasm binaries☆80Updated 2 years ago
- Actor model implemented in OCaml - early alpha☆10Updated 5 years ago
- seL4 Device Driver Framework☆23Updated last year
- ☆21Updated 3 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Updated 9 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Visualization tool for your IO-uring workload☆17Updated 10 months ago
- Soluções dos problems do adventofcode.com☆13Updated 4 years ago
- algebraic typechecking and elaboration of type systems☆12Updated 5 months ago
- A platform agnostic library for P2P communications using UDP and Bin_prot☆21Updated 2 years ago