Stars
APALACHE: symbolic model checker for TLA+ and Quint
🦀 RedoxQL is an L-Store database written in Rust and Python 🚀 and 🥇 Fastest database speed in the class for milestone 2 (ECS165A Winter 2025) ⚡
Golang port of simdjson: parsing gigabytes of JSON per second
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
PgConsul is a tool for maintaining High-Availability Postgresql cluster configurations. It is responsible for cluster recovery in case of emergencies.
Extension for getting last LSN flushed to disk by replica(required in clusters with quorum_commit)
Horizontal scaling for PostgreSQL with automatic sharding.
Sources for my PhD dissertation on the Raft consensus algorithm
TLA+ language support for Visual Studio Code
Get your data in RAM. Get compute close to data. Enjoy the performance.
Intellij plugin for TLA+ formal specification language.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Functions to manage partitions in PostgreSQL with minimal impact for applications
CloudNativePG is a comprehensive platform designed to seamlessly manage PostgreSQL databases within Kubernetes environments, covering the entire operational lifecycle from initial deployment to ong…
The Art of Problem-Solving in Software Engineering: How to Make MySQL Better