Vanlightly / vsr-tlaplusLinks
TLA+ specifications related to Viewstamped Replication
☆52Updated 2 years ago
Alternatives and similar repositories for vsr-tlaplus
Users that are interested in vsr-tlaplus are comparing it to the libraries listed below
Sorting:
- TLA+ specifications for Raft and variants☆89Updated 2 years ago
- TLA+ specs for table formats☆39Updated 7 months ago
- 🌳 A tiny skiplist based log-structured merge-tree written in Rust.☆25Updated last year
- MCP server for Apache Iceberg☆29Updated last month
- A highly extensible runner that can execute any workflow.☆18Updated 10 months ago
- A k8s operator in rust that convert remote secrets into k8s secrets☆71Updated this week
- A comprehensive GitHub REST API library based on Rust.☆27Updated 3 months ago
- An expression engine written in pure rust☆33Updated last year
- Grsql is a great tool to allow you set up your remote sqlite database as service and CRUD(create/read/update/delete) it using gRPC.☆28Updated 2 years ago
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆39Updated 8 months ago
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆272Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Tool to test networking protocols in diverse topologies and conditions.☆18Updated 2 months ago
- University of Toronto / ECE1782 - Programming Massively Parallel Multiprocessors and Heterogeneous Systems / Project: an optimized CUDA I…☆24Updated 11 months ago
- A MySQL-compatible, high performance, elastic, distributed SQL database.