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
  ☆48Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆187Updated 3 weeks ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆278Updated this week
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆88Updated 2 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆68Updated 4 months ago
• szarnyasg / graph-data-management
  ☆54Updated last month
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆237Updated 2 months ago
• harp-lab / gdlog
  ☆87Updated last year
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆150Updated last month
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆247Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆296Updated this week
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆180Updated last month
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆63Updated 4 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆206Updated last year
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆67Updated 6 months ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆42Updated last week
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆31Updated last month
• cmu-db / optd-dsl
  Query Optimizer Service
  ☆95Updated 8 months ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆216Updated last week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 5 months ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆210Updated 2 weeks ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• kryonix / pg_cuckoo
  Use PostgreSQL's planner hook to open a side entrance through which we can pass plan trees for immediate execution
  ☆27Updated 8 months ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆28Updated 2 years ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆164Updated last week
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆53Updated 2 months ago