An automated prover that verifies the equivalence of SQL queries

KubeBlocks is an open-source control plane software that runs and manages databases, message queues and other stateful applications on K8s.

A markdown editor that you can deploy on your own servers to achieve cloud storage and device synchronization（支持私有部署的云端存储双链笔记软件）

Python SQL Parser and Transpiler

😉 Pretty nice Zookeeper GUI, Support Win / Mac / Linux Platform

myblog

Mirror of Apache Directory Kerby

Mirror of Apache Knox

Open source Java implementation for Raft consensus protocol.

The Spring Cloud Deployer implementation for Apache YARN

Spring Cloud Data Flow Implementation for Apache YARN

RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

A microservices-based Streaming and Batch data processing in Cloud Foundry and Kubernetes

A tool for scale and performance testing of HDFS with a specific focus on the NameNode.

Java bytecode analyzer customizable via JSON rules