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.
  ☆105Updated last month
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆230Updated last year
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆454Updated 2 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last week
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 10 months ago
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆892Updated this week
• probably-nothing-labs / denormalized
  Embeddable stream processing engine based on Apache DataFusion
  ☆329Updated 3 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆137Updated 9 months ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆78Updated 3 years ago
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆867Updated this week
• feldera / feldera
  The Feldera Incremental Computation Engine
  ☆1,203Updated this week
• tlaplus / CommunityModules
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆280Updated last week
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆100Updated this week
• amelielabs / amelie
  Relational Database for High-Intensity OLTP workloads.
  ☆64Updated this week
• splitgraph / seafowl
  Analytical database for data-driven Web applications 🪶
  ☆478Updated last month
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆192Updated 10 months ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆165Updated 2 months ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• spiraldb / vortex
  An extensible, state-of-the-art columnar file format
  ☆1,139Updated this week
• mbutrovich / tigger
  ☆64Updated 2 years ago
• maxi-k / btrblocks
  BtrBlocks: Efficient Columnar Compression for Data Lakes (SIGMOD 2023 Paper)
  ☆238Updated 10 months ago
• dsrhaslab / lazyfs
  LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
  ☆139Updated 4 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 9 months ago
• hydromatic / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆316Updated last week
• cmu-db / optd-original
  CMU-DB's Cascades optimizer framework
  ☆396Updated 2 months ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆62Updated 2 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago