A framework for distributed systems verification, with fault injection
A workbench for writing toy implementations of distributed systems
An orchestration platform for the development, production
A lightweight data processing framework built on DuckDB and 3FS
Multi-tenancy and policy-based framework for Kubernetes