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 last year
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆86Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆165Updated 2 weeks ago
• szarnyasg / graph-data-management
  ☆53Updated 5 months ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆66Updated 2 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆263Updated 2 weeks ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆245Updated 2 years ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆112Updated 3 weeks ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆231Updated 8 months ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆208Updated this week
• kryonix / pg_cuckoo
  Use PostgreSQL's planner hook to open a side entrance through which we can pass plan trees for immediate execution
  ☆27Updated 5 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆204Updated last year
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆62Updated 4 years ago
• harp-lab / gdlog
  ☆87Updated last year
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆101Updated this week
• knowsys / nemo
  A fast in-memory rule engine
  ☆193Updated last week
• cmu-db / optd
  Query Optimizer Service
  ☆94Updated 6 months ago
• ldbc / lsqb
  Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…
  ☆35Updated 6 months ago
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 12 years ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆21Updated last year
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆143Updated 8 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆119Updated 4 months ago
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆52Updated last week
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆159Updated last week
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆28Updated 10 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆30Updated 3 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago