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
  ☆47Updated last year
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆87Updated 2 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆67Updated 3 months ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆182Updated last month
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• cmu-db / optd-dsl
  Query Optimizer Service
  ☆94Updated 7 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆273Updated this week
• harp-lab / gdlog
  ☆87Updated last year
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆292Updated this week
• ldbc / lsqb
  Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…
  ☆37Updated 8 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆112Updated 2 months ago
• szarnyasg / graph-data-management
  ☆54Updated 3 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated last month
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆146Updated this week
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆246Updated 2 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated last year
• hengxin / tlaps-examples
  Examples for TLAPS (TLA+ Proof System)
  ☆16Updated 5 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆63Updated 4 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 5 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆42Updated 6 months ago
• opengql / grammar
  ANTLR Grammar and related content for GQL.
  ☆35Updated last month
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆205Updated last year
• umbra-db / contest-sigmod2025
  SIGMOD Contest 2025 Winning Solution
  ☆53Updated last month
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆13Updated 4 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• DBOS-project / apiary
  Transactional functions-as-a-service for database-oriented applications.
  ☆156Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆94Updated this week
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆26Updated last year