Secure and fast microVMs for serverless computing.
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
An alternative BEAM implementation, designed for WebAssembly
⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !
💻 An assembler for custom, user-defined instruction sets! https://hlorenzi.github.io/customasm/web/
STARK-based virtual machine
Fun, portable, minimalistic virtual machine.
JS engine in Rust
Tagua VM is an experimental PHP Virtual Machine that guarantees safety and quality by removing large classes of vulnerabilities thanks to the Rust language and the LLVM Compiler Infrastructure.
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
A Blockchain Virtual Machine
Language tooling for the Lox programming language.
🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
Zero-knowledge virtual machine written in Rust
Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme
A parser, compiler, and virtual machine evaluator for a minimal subset of Lua; written from scratch in Rust.
Let's write an x86 hypervisor in Rust from scratch!
Add a description, image, and links to the virtual-machine topic page so that developers can more easily learn about it.
To associate your repository with the virtual-machine topic, visit your repo's landing page and select "manage topics."