Secure and fast microVMs for serverless computing.

Visualize streams of multimodal data. Free, fast, easy to use, and simple to integrate. Built in Rust.

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…

A static, type inferred and embeddable language written in Rust.

A Starknet full node written in Rust

Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner

A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.

Collection of no_std Rust packages focused on making Soroban development easier.