RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
-
Updated
May 10, 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
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/
Interpreter framework for Lisp-based extension and scripting languages on macOS and iOS. LispKit is based on the R7RS standard for Scheme. Its compiler generates bytecode for a virtual machine. LispKit is fully implemented in Swift 5.
Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
Generic Stack VM for Scripting Languages
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.
Programming language for BadUSB devices
STARK-based virtual machine
A pragmatic Perl IRCv3 bot
Umka: a statically typed embeddable scripting language
Cross-platform runtime environment for the Elm programming language.
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
Tools to set up a easy, quick macOS VM in QEMU, accelerated by KVM. Works on Linux AND Windows.
protector & obfuscator
Never: statically typed, embeddable functional programming language.
Monorepo for the Ethereum VM TypeScript Implementation
Apache CloudStack is an opensource Infrastructure as a Service (IaaS) cloud computing platform
A go script that uses multiple methods to check if a machine is running in a VM or not
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."