Secure and fast microVMs for serverless computing.

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

the champagne of beta embedded databases

Tools for concurrent programming in Rust

Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.

Fast web applications through dynamic, partially-stateful dataflow

Make your JSON data collaborative and version-controlled with CRDTs

Modern columnar data format for ML and LLMs implemented in Rust. Convert from parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, Du…

Lucet, the Sandboxing WebAssembly Compiler.

Distributed stream processing engine in Rust

A modular implementation of timely dataflow in Rust

Highly-available Distributed Fault-tolerant Runtime

Represent large sets and maps compactly with finite state transducers.

A model checker for implementing distributed systems.

Systems performance telemetry

Occlum is a memory-safe, multi-process library OS for Intel SGX

Meaningful control of data in distributed systems.

Kernel-Bypass LibOS Architecture

DatenLord, Computing Defined Storage, an application-orientated, cloud-native distributed storage system

A high-level distributed programming framework for Rust

Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

Framework for large distributed pipelines

Distributed programming for Rust.

A high-performance storage engine for modern hardware and platforms.

The Fortanix Rust Enclave Development Platform

High performance distributed framework for training deep learning recommendation models based on PyTorch.

Frugal Object Storage

garbage-collecting on-disk object store, supporting higher level KV stores and databases.

Lossless codec for numerical data

Used to generate and compare bounded timestamps.