pcholakov / p-promisesLinks
A P model of durable Promises
☆14Updated 2 years ago
Alternatives and similar repositories for p-promises
Users that are interested in p-promises are comparing it to the libraries listed below
Sorting:
- Durable Promise Specification☆92Updated 10 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆39Updated last month
- A functional query language, implemented in Rust☆37Updated 2 months ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated last year
- Infraless Database over any s3 storage API.☆21Updated last year
- [WIP] Open-source alternative to Antithesis.☆22Updated last year
- A curated list of awesome DBOS resources 😎☆93Updated 3 months ago
- Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier☆118Updated this week
- Messing with Postgres query execution and hook infrastructure.☆13Updated 2 years ago
- Holocron is an object storage based leader election library.☆128Updated last year
- Restate examples☆141Updated this week
- A Storage Primitive Designed for Live Migration☆36Updated 4 months ago
- Foundation DB Query Language☆151Updated last week
- Durable Streams API☆341Updated this week
- Toy distributed PostgreSQL by implementing SQL over KV☆11Updated 3 weeks ago
- A little KV store implementation in OCaml to practice DB systems things☆33Updated last week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A list of languages that compile to SQL☆71Updated 3 years ago
- A local first persistent log☆36Updated 4 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆149Updated 3 weeks ago
- An Almost Exactly Once Delivery (AEOD) queue☆80Updated 2 weeks ago
- Antithesis SDK for Go☆45Updated this week
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- CLI for S2, the durable streams API☆24Updated this week
- Open Source streaming platform. Write and run typed data pipelines with a minimal, familiar syntax.☆76Updated last week
- ☆34Updated last year
- Key value store using the redis protocol with Postgres as a backend☆59Updated last year
- Entrypoint of the Dispatch ecosystem.☆12Updated last year
- ☆29Updated 2 months ago