Asynchronous MySQL Replication on Kubernetes using Percona Server and Openark's Orchestrator.

An AI benchmark for Pokémon VGC with agent implementations using multi-agent reinforcement learning, behavior cloning, LLMs, and heuristics

NVIDIA GPU Operator creates, configures, and manages GPUs in Kubernetes

Distributed AI Model Training and LLM Fine-Tuning on Kubernetes

Kubernetes-native Job Queueing

A Cloud Native Batch System (Project under CNCF)

Prometheus exporter that scrapes meta information about a ceph cluster.

Storage Orchestration for Kubernetes

Ansible playbooks to deploy Ceph, the distributed filesystem.

Ceph is a distributed object, block, and file storage platform

continuous integration and continuous delivery

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

An example of a Jenkins CI/CD pipeline to Kubernetes

Apache Kafka® running on Kubernetes

Elastic Cloud on Kubernetes

A tool that can be used to deploy and manager Apache ZooKeeper clusters/ensembles

Kubernetes Operator for Zookeeper

Percona Operator for MySQL

MySQL Operator for Kubernetes

Push-Button End-to-End Testing of Kubernetes Operators and Controllers

TLA+ specification for the Raft consensus algorithm

Automatic Reliability Testing for Kubernetes Controllers and Operators

Programming Language for Smart Legal Contracts

The Daml smart contract language

The "batteries included" extended library for the Lean programming language and theorem prover

Scientific computing in Lean 4

HACL*, a formally verified cryptographic library written in F*

An EVM interpreter in Dafny

Libraries useful for Dafny programs