Alternatives and similar repositories for fizzbee:

Users that are interested in fizzbee are comparing it to the libraries listed below

• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆104Updated 2 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆208Updated last week
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆815Updated this week
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆860Updated this week
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆448Updated 3 weeks ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆230Updated last year
• tlaplus / CommunityModules
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆277Updated 2 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆94Updated this week
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆138Updated 7 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 9 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆77Updated last year
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• dsrhaslab / lazyfs
  LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
  ☆136Updated 3 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• probably-nothing-labs / denormalized
  Embeddable stream processing engine based on Apache DataFusion
  ☆319Updated 2 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 3 months ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆57Updated last month
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆103Updated 11 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆64Updated 3 weeks ago
• DistCompiler / pgo
  PGo is a source to source compiler from Modular PlusCal specs into Go programs.
  ☆176Updated this week
• splitgraph / seafowl
  Analytical database for data-driven Web applications 🪶
  ☆476Updated this week
• tokio-rs / turmoil
  Add hardship to your tests
  ☆890Updated this week
• feldera / feldera
  The Feldera Incremental Computation Engine
  ☆1,156Updated this week
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆228Updated last month
• DBOS-project / apiary
  Transactional functions-as-a-service for database-oriented applications.
  ☆152Updated last year
• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆99Updated 3 weeks ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 8 months ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆517Updated 2 years ago