fizzbee-io / fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
☆127Updated this week
Related projects: ⓘ
- Hydro's low-level dataflow runtime☆470Updated this week
- Streaming and Incremental Computation Framework☆222Updated last year
- Embeddable stream processing engine based on Apache DataFusion☆222Updated this week
- An experiment in controlling the size of a thread pool using a PID controller.☆116Updated 11 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 4 months ago
- embeddable cloud-native storage for events and time-series data☆72Updated 4 months ago
- Tansu is an Apache Kafka API compatible broker written in async 🚀 Rust 🦀☆54Updated this week
- The Feldera Incremental Computation Engine☆366Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆784Updated this week
- An in-process Parquet merge engine for better data warehousing in S3☆125Updated last month
- B-field implementation in Rust☆201Updated 3 months ago
- Prototype compiler from SaneQL to SQL☆68Updated 8 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- PostgreSQL Prolog language handler☆128Updated 5 months ago
- Durable Promise Specification☆80Updated 7 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆159Updated 3 months ago
- Analytical database for data-driven Web applications 🪶☆410Updated this week
- ☆18Updated 3 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆103Updated 7 months ago
- PRQL as a DuckDB extension☆251Updated 2 weeks ago
- ☆63Updated this week
- Learn TLA+ for free! No prior experience necessary!☆195Updated 3 weeks ago
- A toolkit for working with compressed Arrow in-memory, on-disk, and over-the-wire. "The LLVM of file formats"☆193Updated this week
- New file format for storage of large columnar datasets.☆422Updated last week
- Ultra-Lightweight Durable Execution in Python☆181Updated this week
- ☆50Updated this week
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆108Updated this week
- A curated list of awesome DBOS resources 😎☆30Updated last week
- Nyrkiö is an open source platform for detecting performance changes☆30Updated this week
- A distributed thread-per-core document database☆484Updated 9 months ago