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
  ☆46Updated 8 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆83Updated last year
• szarnyasg / graph-data-management
  ☆47Updated last month
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆231Updated last week
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆40Updated this week
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆23Updated last year
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆239Updated 2 years ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆104Updated last month
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆52Updated 3 weeks ago
• ldbc / lsqb
  Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…
  ☆33Updated 2 months ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆22Updated 9 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆64Updated 3 years ago
• cmu-db / optd
  Query Optimizer Service
  ☆69Updated last month
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆130Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆131Updated last week
• SamArch27 / PRISM
  Strategically Deconstruct UDFs with PRISM for Faster Query Plans
  ☆16Updated 7 months ago
• cwida / FastLanes
  Next-Gen Big Data File Format
  ☆245Updated this week
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆264Updated last week
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆31Updated 3 weeks ago
• graphflow / graphflow-columnar-techniques
  ☆26Updated 3 years ago
• MaterializeInc / advent-of-code-2023
  Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄
  ☆20Updated 11 months ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated last year
• knowsys / nemo
  A fast in-memory rule engine
  ☆158Updated this week
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆36Updated 2 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• cwida / duckdb-pgq
  DuckDB is an in-process SQL OLAP Database Management System
  ☆44Updated 3 weeks ago
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆59Updated last year
• elliotchance / sqltest
  📝 A comprehensive suite of SQL tests for testing the conformance of databases.
  ☆53Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year