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 10 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆84Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆136Updated last week
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆244Updated this week
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆54Updated 2 months ago
• szarnyasg / graph-data-management
  ☆49Updated 2 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆220Updated 5 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆151Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆23Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆242Updated 2 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆132Updated 6 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆199Updated this week
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated last month
• harp-lab / gdlog
  ☆83Updated 10 months ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆19Updated 10 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 4 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆46Updated 8 months ago
• cmu-db / optd
  Query Optimizer Service
  ☆80Updated 2 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆105Updated 3 months ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆83Updated 3 weeks ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 weeks ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆38Updated 10 months ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆67Updated 3 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 2 years ago
• tlaplus / PlusCalCheatSheet
  PlusCal Cheat Sheet by Stephan Merz
  ☆23Updated 10 months ago