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
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆158Updated last week
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆86Updated last year
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆64Updated last month
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆283Updated this week
• umbra-db / contest-sigmod2025
  SIGMOD Contest 2025 Winning Solution
  ☆50Updated 5 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• egraphs-good / egglog
  egraphs + datalog!
  ☆640Updated last week
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆206Updated this week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆228Updated 7 months ago
• cmu-db / optd
  Query Optimizer Service
  ☆93Updated 5 months ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆140Updated 2 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• szarnyasg / graph-data-management
  ☆53Updated 5 months ago
• harp-lab / gdlog
  ☆86Updated last year
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆109Updated 2 months ago
• eprover / eprover
  ☆155Updated 3 weeks ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆203Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated last week
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆244Updated 2 years ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆189Updated last week
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆160Updated last year
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 months ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆152Updated 3 weeks ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆41Updated this week
• scuptio / sedeve-kit
  In Spec We Trust
  ☆40Updated 4 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆90Updated last week
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆505Updated this week
• cwida / FastLanes
  Next-Gen Big Data File Format
  ☆519Updated last month