Search Results for "secure virtual machine"
Sort By:
Showing 20 open source projects for "secure virtual machine"
View related business solutions-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Crosvm
The Chrome OS Virtual Machine Monitor
crosvm (ChromeOS Virtual Machine Monitor) is a secure, lightweight virtual machine monitor built on top of the Linux KVM hypervisor. Developed for ChromeOS, it is designed to isolate and execute Linux and Android guests efficiently while maintaining strong security boundaries. Unlike general-purpose emulators like QEMU, crosvm avoids full hardware emulation and focuses on modern paravirtualized I/O using the virtio standard, reducing complexity and attack surface. ... -
2
Kata Containers
Build a standard implementation of lightweight Virtual Machines (VMs)
Kata Containers is an open source container runtime, building lightweight virtual machines that seamlessly plug into the container ecosystem. Kata Containers is an open source community working to build a secure container runtime with lightweight virtual machines that feel and perform like containers, but provide stronger workload isolation using hardware virtualization technology as a second layer of defense. -
3
Aglais XQVM
A rust implementation of the Quip Network's quantum virtual machine
...It integrates with the broader Quip ecosystem, allowing it to function as part of a larger protocol stack that includes blockchain infrastructure and node management tools. The virtual machine abstraction enables developers to define and execute computational logic in a controlled environment, potentially bridging classical and quantum paradigms. Its design suggests use cases in advanced computation, cryptography, or experimental distributed systems. -
4
agentOS
A portable open-source operating system for agents. ~6 ms coldstarts
agentOS is a portable, open-source runtime environment designed specifically for executing AI agents efficiently, acting as a lightweight operating system tailored for agent-based workloads. It is built using WebAssembly and V8 isolates to provide secure, sandboxed execution without the overhead of traditional containers or virtual machines. The system is optimized for extremely fast startup times, with near-instant cold starts that allow agents to be created and executed in milliseconds. AgentOS is designed to run directly within an application process, enabling agents to interact with host functions and resources without network overhead or complex orchestration layers. ... -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
Stakpak
Ship your code, on autopilot. An open source agent
Stakpak is an open-source autonomous DevOps agent designed to run continuously on a machine, managing infrastructure, deployments, and operational tasks with minimal human intervention. It acts as a persistent system-level assistant that monitors applications, executes DevOps workflows, and only alerts humans when necessary, effectively automating routine operational responsibilities. The agent is built with strong safety considerations, including guardrails that prevent destructive actions and a secure approach to handling credentials without exposing them directly to language models. ... -
6
Gleam
A friendly language for building type-safe, scalable systems!
...It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so Gleam's compiler provides clear and helpful feedback about any problems. We want to spend more time developing features and less time looking for bugs or deciphering cryptic error messages. Gleam builds on top of the Erlang virtual machine, a best-in-class runtime that has enabled companies such as Discord, Ericsson, Heroku, and WhatsApp to provide low-latency services at a global scale. ... -
7
v86
x86 PC emulator and x86-to-wasm JIT, running in the browser
...Designed for both experimentation and embedding, v86 can be integrated into web apps or used as a standalone virtual machine environment. Overall, it provides a powerful way to explore operating systems, retro computing, and low-level system behavior directly from a web browser. -
8
Microsandbox
Secure local-first microVM sandbox for running untrusted code fast
Microsandbox is an open source platform designed to securely execute untrusted code in isolated environments using lightweight virtualization techniques. It focuses on combining strong security guarantees with fast startup times by leveraging hardware-level microVM isolation instead of relying solely on traditional containers or full virtual machines. It aims to solve the common tradeoffs between speed, isolation, and control that developers encounter when running untrusted workloads. It... -
9
DeepProve
Framework to prove inference of ML models blazingly fast
DeepProve is an advanced cryptographic framework designed to verify machine learning model inference using zero-knowledge proofs, enabling trustless validation of AI computations without exposing underlying data. The project focuses on zkML, a rapidly emerging field that combines machine learning with zero-knowledge cryptography to ensure both privacy and correctness. It supports neural network architectures such as multilayer perceptrons and convolutional neural networks, allowing... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
Solang
Solidity Compiler for Solana, Polkadot and Stellar
Solang is a modern Solidity compiler written in Rust that enables developers to compile smart contracts for multiple blockchain platforms beyond Ethereum, such as Solana, Polkadot, and Soroban. Unlike the traditional Solidity compiler, which targets the Ethereum Virtual Machine, Solang focuses on portability by translating Solidity code into native execution environments for different blockchains. It uses the LLVM compiler framework to generate optimized output, often producing WebAssembly or platform-specific binaries that improve execution efficiency and reduce resource consumption. The project maintains compatibility with Solidity 0.8 syntax while adapting to the unique constraints and capabilities of each target blockchain. ... -
11
Sōzu
Sōzu HTTP reverse proxy, configurable at runtime, fast and safe
Open source HTTP reverse proxy built in Rust for immutable infrastructures. Most existing tools have a static vision of production: a service is installed once on a long-lived server, updated from time to time, with configuration rarely changing. There's now a shift in infrastructure to short-lived virtual machines and hundreds of new deployments per day, and the usual tools reach their limits. How do we reconcile a dynamic environment with availability guarantees? How can we get "zero... -
12
forkd
Fork() for AI agent microVMs
forkd is a microVM sandbox runtime designed for high-speed AI agent fan-out. Instead of cold-booting a separate virtual machine for every worker, it forks children from a warmed parent snapshot and uses copy-on-write behavior to share the initial memory state. This makes it useful for spawning many isolated agent environments quickly during parallel research, testing, or code execution. The project is focused on runtime performance, sandbox isolation, and efficient branching from a live or prepared VM state. ... -
13
conflux-rust
The official Rust implementation of Conflux protocol
...Conflux introduces a Tree-Graph consensus mechanism that allows parallel block processing while maintaining consensus integrity. This implementation focuses on performance and is compatible with the Ethereum Virtual Machine (EVM), enabling developers to deploy smart contracts written for Ethereum. It provides a robust foundation for dApps, DeFi, and Web3 applications in regions requiring regulatory compliance and scalability. -
14
WSLUI
WSL2 Manager desktop application built with Tauri, Vite, React, and TypeScript
WSL UI is a lightweight desktop app for managing Windows Subsystem for Linux distributions through a modern graphical interface, replacing complex command-line administration. Dashboard & Monitoring — View all distributions with real-time CPU, memory, and disk usage. Filter by status, WSL version, or installation source. ... -
15
ZAPH
Tools and Z80 engine for creating adventure games. (RUST)
This is an exercise in some advance programming topics using a text adventure as the central result. This originally began as a project to recreate an old BASIC text adventure, on the ZX Spectrum, using Z80. After developing a very simple byte code VM to handle the game interactions, I realised that there was an opportunity to use some more advance techniques, which in turn can lead to some PC based tools. -
16
LibertyOS
The kernel for LibertyOS
LibertyOS Kernel is the core component of the LibertyOS operating system project, focused on creating a secure, privacy-respecting OS from the ground up. Written primarily in C and C++, the kernel is being developed to support modern hardware, incorporate essential system services, and maintain transparency in design. LibertyOS is built with an emphasis on user freedom, aiming to avoid corporate tracking, offer user-centric control, and provide a robust alternative to mainstream operating... -
17
Diem
Blockchain project originally backed by Meta
Diem is the now-discontinued blockchain project originally backed by Meta (formerly Libra), built in Rust using the Move smart contract language. Designed for secure, programmable payments and asset management, its open‑source code was released under Apache 2.0. Although the network was never launched, the project remains an important foundation for Move-based ecosystems. -
18
Privaxy
Privaxy is the next generation tracker and advertisement blocker
...Operating at a lower level, Privaxy is both more efficient as well as more streamlined than browser add-on-based blockers. A single instance of Privaxy on a small virtual machine, server or even, on the same computer as the traffic is originating from, can filter thousands of requests per second while requiring a very small amount of memory. -
19
VPNCloud
Peer-to-peer VPN
VPNCloud is a peer-to-peer VPN solution that uses UDP tunneling to create secure, distributed virtual networks. Unlike traditional VPNs, VPNCloud creates mesh-like connections between nodes and is particularly useful for remote access, private networks, or IoT environments. It supports both encrypted and plaintext tunnels, dynamic peer discovery, and flexible routing. With minimal configuration, VPNCloud provides a lightweight way to link multiple machines across the internet as if they were on the same LAN. -
20
Lucet
Lucet, the Sandboxing WebAssembly Compiler.
Lucet is a native WebAssembly compiler and runtime designed to securely execute untrusted code with high performance and strong isolation guarantees. Developed by the Bytecode Alliance, it focuses on ahead-of-time compilation, converting WebAssembly modules into native machine code before execution to achieve fast startup times and predictable performance. Lucet is particularly notable for its use in edge computing environments, where low latency and efficient resource usage are critical,...
- Previous
- You're on page 1
- Next