Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
A little curiosity. A world of open source.
THE FIRST COLLECTIONSovereignKit is open-source Solana infrastructure for measuring transaction accessibility failures, separating RPC acknowledgment from ledger evidence, detecting route asymmetry, and enabling bounded fail-open routing. v0.1 is a controlled proof plus Devnet validation, not a provider ranking.
Redis is an open-source in-memory data structure server used as a cache, NoSQL database, message broker, search and vector query engine. The README covers key use cases, data types, client libraries, quick start, and source build instructions.
Trino is a fast distributed SQL query engine designed for big data analytics, formerly known as PrestoSQL.
SafeMesh provides formally verified CRDTs (G-Set, G-Counter, OR-Set, etc.) using Lean 4 proofs and no_std Rust. It offers C, WASM/TS, and Python bindings for small, embeddable state synchronization, requiring users to provide their own transport layer.
ChaosSQL is a deterministic concurrency and isolation fuzzer for PostgreSQL, MySQL and SQLite. It schedules concurrent transactions, detects invariant violations such as lost updates and write skew, shrinks failures to minimal reproductions, and can guard CI pipelines against regressions.
etcd is a distributed, reliable key-value store written in Go that uses the Raft consensus algorithm for highly available replicated logs. It offers a simple gRPC API, TLS security, and is widely used in production for critical distributed system data, notably with Kubernetes.
Go library offering bounded Apache Kafka producer, consumer, replay, inspection and transactional building blocks that wrap franz-go without hiding delivery outcomes, lifecycle ownership or topic policy.
