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 11 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆86Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆140Updated last week
• szarnyasg / graph-data-management
  ☆50Updated 3 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆254Updated last week
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆58Updated last week
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆137Updated 8 months ago
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆272Updated last week
• harp-lab / gdlog
  ☆83Updated 11 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆222Updated 6 months ago
• kryonix / pg_cuckoo
  Use PostgreSQL's planner hook to open a side entrance through which we can pass plan trees for immediate execution
  ☆27Updated 3 months ago
• cmu-db / optd
  Query Optimizer Service
  ☆86Updated 4 months ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆21Updated last year
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆41Updated 2 weeks ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆242Updated 2 years ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆107Updated last month
• ldbc / lsqb
  Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…
  ☆35Updated 4 months ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆24Updated 2 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆64Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆29Updated last month
• 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
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆158Updated last year
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 years ago
• cwida / FastLanes
  Next-Gen Big Data File Format
  ☆492Updated 3 weeks ago
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆62Updated 4 years ago