47,133 repositories indexed
1–9 of 9 · Most stars
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.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
pronounced "speckle": a TDD/BDD framework for Clojure.
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
PostgreSQL client library (libpq) binding
QuickCheck powered law tests for PureScript's core typeclasses.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Gremlin-Server client with ad-hoc extensible, reactive, typeclass based API allowing for using turing complete graph traversal language gremlin to query graph databases from browser
Simple encoding / decoding classes for ArrayBuffers