Alternatives and similar repositories for community:

Users that are interested in community are comparing it to the libraries listed below

• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 5 months ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆47Updated 9 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated this week
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆11Updated 8 months ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆22Updated 6 months ago
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆49Updated this week
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆27Updated 2 weeks ago
• VeriEQL / VeriEQL
  ☆11Updated last month
• dranov / raft-tla
  ☆21Updated 3 years ago
• cmu-db / optd
  Query Optimizer Service
  ☆34Updated this week
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆51Updated 10 months ago
• cwida / public_bi_benchmark
  BI benchmark with user generated data and queries
  ☆65Updated 3 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆192Updated 10 months ago
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆45Updated 3 years ago
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆241Updated last week
• Cjen1 / consensus-tlaplus
  ☆11Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆99Updated this week
• BinyuHuang-nju / zab-tla
  Specifying and Verfying Zab using TLA+
  ☆10Updated 3 years ago
• harp-lab / gdlog
  ☆80Updated 5 months ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆231Updated last year
• szarnyasg / graph-data-management
  ☆43Updated last month
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• alviano / wasp
  ☆20Updated 5 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• tum-db / user-defined-operators
  Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"
  ☆23Updated last year
• graphflow / graphflow-columnar-techniques
  ☆25Updated 3 years ago