RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
-
Updated
Jun 1, 2024 - C++
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
The official mirror of the V8 Git repository
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
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/
Scratch 3 Virtual Machine
💻 An assembler for custom, user-defined instruction sets! https://hlorenzi.github.io/customasm/web/
Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3
Cross-platform runtime environment for the Elm programming language.
Research WebAssembly Engine
⛅ Creates Linux chroots and bootable virtual machine images; command line tool (Python 3)
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + Gno.land: a blockchain for timeless code and fair open-source
CSx: Blogs, Linux, KDE, etc.
Where Flex cloud brings infrastructures to where you are.
Univention Corporate Server
Monorepo for the Ethereum VM TypeScript Implementation
Stack based byte code VM as compiler target
Script that simplifies the installation of the Virt-manager virtualization environment and GNS3
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."