pcholakov / p-promisesLinks
A P model of durable Promises
☆14Updated last year
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☆94Updated 3 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆35Updated last week
- A little Delta Lake/Iceberg inspired database implementation in Go☆41Updated 9 months ago
- Infraless Database over any s3 storage API.☆20Updated last year
- RDX implementation in Go☆19Updated this week
- Antithesis SDK for Go☆34Updated last week
- Messing with Postgres query execution and hook infrastructure.☆13Updated last year
- A list of languages that compile to SQL☆68Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An Almost Exactly Once Delivery (AEOD) queue☆63Updated last week
- ☆21Updated last year
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆38Updated this week
- A simple utility for migrations for cozo db☆10Updated last year
- Toy distributed PostgreSQL by implementing SQL over KV☆11Updated 11 months ago
- ☆14Updated 7 months ago
- A local first persistent log☆36Updated 3 weeks ago
- TLA+ specifications for Kafka related algorithms☆69Updated 5 months ago
- A Storage Primitive Designed for Live Migration☆28Updated this week
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated 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
- ☆13Updated last year
- Run erlang as a WASI http server (vapourware)☆27Updated 7 months ago
- GO GO PARSE YOUR CODE GO GO☆12Updated last month
- ☆75Updated 6 months ago
- Zig library for HyperLogLog estimation☆89Updated 11 months ago
- A curated list of awesome DBOS resources 😎☆67Updated 2 months ago
- ☆16Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- Formal verification for TypeScript☆20Updated 2 years ago
- ☆16Updated 7 months ago