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
  ☆81Updated 6 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated last month
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆22Updated 7 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆118Updated last week
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆54Updated 11 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆221Updated last week
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆75Updated 2 weeks ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆10Updated 4 years ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• lorenzhs / BuRR
  Bumped Ribbon Retrieval and Approximate Membership Query
  ☆44Updated this week
• graphflow / graphflow-columnar-techniques
  ☆24Updated 3 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated 10 months ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆48Updated 11 months ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆117Updated 3 months ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆35Updated last week
• knowsys / nemo
  A fast in-memory rule engine
  ☆150Updated this week
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆111Updated this week
• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 3 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆21Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆75Updated this week