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 7 months ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated last year
- Messing with Postgres query execution and hook infrastructure.☆13Updated 2 years ago
- Infraless Database over any s3 storage API.☆21Updated last year
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated 2 weeks ago
- A functional query language, implemented in Rust☆35Updated last week
- A curated list of awesome DBOS resources 😎☆84Updated 3 weeks ago
- Holocron is an object storage based leader election library.☆129Updated last year
- Toy distributed PostgreSQL by implementing SQL over KV☆11Updated last year
- Entrypoint of the Dispatch ecosystem.☆12Updated last year
- Antithesis SDK for Go☆39Updated last month
- An Almost Exactly Once Delivery (AEOD) queue☆78Updated last week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Foundation DB Query Language☆147Updated last week
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆52Updated this week
- A Storage Primitive Designed for Live Migration☆35Updated last month
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Time series forecasting with DuckDB and Evidence☆42Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆263Updated this week
- Google's Zanzibar paper annotated for folks outside of Google☆83Updated this week
- A local first persistent log☆36Updated 2 months ago
- A list of languages that compile to SQL☆69Updated 3 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- Use Extism plugins from SQLite3☆25Updated 2 years ago
- Topological sort library in Zig☆97Updated 3 months ago
- Rust SDK for S2☆40Updated 2 weeks ago
- ☆33Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆141Updated 3 weeks ago
- ☆29Updated 10 months ago
- Zig library for HyperLogLog estimation☆91Updated last year