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 7 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• harp-lab / gdlog
  ☆82Updated 7 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated 2 weeks ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆225Updated this week
• cmu-db / optd
  Query Optimizer Service
  ☆59Updated last week
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆30Updated last week
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆50Updated last year
• szarnyasg / graph-data-management
  ☆46Updated 3 months ago
• SamArch27 / PRISM
  Strategically Deconstruct UDFs with PRISM for Faster Query Plans
  ☆16Updated 6 months ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆80Updated 3 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated 10 months ago
• MaterializeInc / advent-of-code-2023
  Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄
  ☆20Updated 9 months ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆125Updated last week
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆238Updated last year
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆79Updated last month
• graphflow / graphflow-columnar-techniques
  ☆26Updated 3 years ago
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆56Updated last year
• dsg-uwaterloo / graphsurge
  Graphs analytics on collections of views!
  ☆35Updated last year
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆38Updated this week
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated 2 weeks ago
• cwida / duckdb-pgq
  DuckDB is an in-process SQL OLAP Database Management System
  ☆43Updated last week
• alviano / wasp
  ☆21Updated 7 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated 4 months ago
• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago