Alternatives and similar repositories for community:

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

• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆48Updated 10 months ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 6 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated 3 weeks ago
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆49Updated 3 weeks ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• 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
• harp-lab / gdlog
  ☆81Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆116Updated last week
• szarnyasg / graph-data-management
  ☆45Updated 2 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆213Updated last week
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆22Updated 6 months ago
• dranov / raft-tla
  ☆21Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• MillenniumDB / MillenniumDB
  Property Graph and RDF engine, still in development
  ☆215Updated last month
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated last month
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆54Updated 11 months ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆131Updated this week
• ldbc / lsqb
  Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…
  ☆31Updated last month
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆56Updated 3 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 5 months ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated 3 weeks ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆234Updated last year
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆27Updated last month
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆196Updated 11 months ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• anikristo / LearnedSort
  Learned Sort: a model-enhanced sorting algorithm
  ☆81Updated 3 years ago
• lorenzhs / BuRR
  Bumped Ribbon Retrieval and Approximate Membership Query
  ☆43Updated 2 weeks ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago