Alternatives and similar repositories for fizzbee:

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

• hydro-project / hydro
  Monorepo for the Hydro Project
  ☆498Updated this week
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆850Updated this week
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆99Updated 2 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 8 months ago
• will62794 / tla-web
  Interactive, web-based environment for exploring and visualizing TLA+ specifications.
  ☆91Updated this week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆204Updated 2 months ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆229Updated last year
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆444Updated 2 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• probably-nothing-labs / denormalized
  Embeddable stream processing engine based on Apache DataFusion
  ☆308Updated last month
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆138Updated 6 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• feldera / feldera
  The Feldera Incremental Computation Engine
  ☆978Updated this week
• tansu-io / tansu
  A drop-in replacement for Apache Kafka with PostgreSQL and S3 storage engines written in 100% safe 🦺 async 🚀 Rust 🦀
  ☆210Updated this week
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆77Updated 3 years ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆74Updated last year
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 months ago
• tlaplus / CommunityModules
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆275Updated 3 weeks ago
• dbos-inc / awesome-dbos
  A curated list of awesome DBOS resources 😎
  ☆55Updated this week
• monotone-studio / monotone
  embeddable cloud-native storage for events and time-series data
  ☆76Updated 8 months ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆128Updated 3 months ago
• 4rtzel / tfg
  Terminal flame graph
  ☆110Updated 4 years ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆857Updated 2 weeks ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆163Updated 3 weeks ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆607Updated last week
• janderland / fql
  Foundation DB Query Language
  ☆141Updated last month
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• dsrhaslab / lazyfs
  LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
  ☆131Updated 2 months ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆103Updated 10 months ago