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
  ☆45Updated 3 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆75Updated last year
• XinyuZeng / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆48Updated 8 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆98Updated 2 weeks ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• szarnyasg / graph-data-management
  ☆42Updated 3 weeks ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆93Updated last week
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated 11 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆45Updated 3 years ago
• MillenniumDB / MillenniumDB
  Property Graph and RDF engine, still in development
  ☆86Updated last week
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆49Updated this week
• harp-lab / gdlog
  ☆79Updated 3 months ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆21Updated 4 months ago
• MaterializeInc / advent-of-code-2023
  Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄
  ☆20Updated 5 months ago
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆28Updated last year
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆230Updated last year
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• opengql / grammar
  ANTLR Grammar and related content for GQL.
  ☆22Updated last month
• dsg-uwaterloo / graphsurge
  Graphs analytics on collections of views!
  ☆34Updated last year
• cwida / duckdb-pgq
  DuckDB is an in-process SQL OLAP Database Management System
  ☆42Updated 2 weeks ago
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆20Updated this week
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆46Updated 7 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• szarnyasg / relational-graph-processing
  A collection of resources on multi-way worst-case optimal join algorithms
  ☆28Updated 6 months ago
• cwida / duckpgq-extension
  DuckDB extension that adds support for SQL/PGQ and graph algorithms
  ☆111Updated this week
• knowsys / nemo
  A fast in-memory rule engine
  ☆110Updated this week
• cwida / FastLanes
  Towards a New File Format
  ☆189Updated 4 months ago
• tum-db / user-defined-operators
  Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"
  ☆23Updated 11 months ago