apecloud / kubeblocks

KubeBlocks is a Kubernetes Operator designed to manage a variety of databases and streaming systems, including MySQL, PostgreSQL, MongoDB, Redis, RabbitMQ, RocketMQ, and more, within Kubernetes environments.

arrow-kt / arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

typelevel / cats-effect

The pure asynchronous runtime for Scala

shivammathur / homebrew-extensions

Homebrew tap for PHP extensions :beers:

apecloud / ape-dts

ApeCloud's Data Transfer Suite, written in Rust. Provides ultra-fast data replication between MySQL, PostgreSQL, Redis, MongoDB, Kafka and ClickHouse, ideal for disaster recovery (DR) and migration scenarios.

php-ds / ext-ds

Extension for specialized native data structures in PHP

ngscopeclient / scopehal-apps

ngscopeclient and other client applications for libscopehal.

softwaremill / magnolia

Easy, fast, transparent generic derivation of typeclass instances

iliaal / php_excel

PHP Extension interface to the Excel writing/reading library

gvolpe / pfps-shopping-cart

:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

SirLouen / pecl-mail-imap

An extension to operate with the IMAP protocol, as well as the NNTP, POP3, and local mailbox access methods.

YunyiFlux / ScrapeClaw

—

siqiliu-tsinghua / tautology

Real analysis formalized in Lean 4 from nothing — the reals are constructed here. No mathlib, no external dependencies, no typeclasses.