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 8 months ago
- 🌳 A tiny skiplist based log-structured merge-tree written in Rust.☆25Updated last year
- A comprehensive GitHub REST API library based on Rust.☆27Updated 4 months ago
- A k8s operator in rust that convert remote secrets into k8s secrets☆72Updated last week
- A highly extensible runner that can execute any workflow.☆18Updated 11 months ago
- An expression engine written in pure rust☆33Updated last year
- University of Toronto / ECE1782 - Programming Massively Parallel Multiprocessors and Heterogeneous Systems / Project: an optimized CUDA I…☆25Updated 11 months ago
- Distributed Systems,Based on Actor Model☆61Updated 10 months ago
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆39Updated 9 months ago
- go 语言仿写的 redis 服务器,支持 RESP 通信协议☆36Updated last year
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- eraft-rs is raft component of etcd-rs☆65Updated 2 years ago
- Official Rust implementation of the Deer protocol☆65Updated 2 years ago
- 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
- MCP server for Apache Iceberg☆29Updated 2 months ago
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆273Updated last year
- ☆31Updated last year
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated last month
- aot compiler☆97Updated last year
- ☆21Updated last month
- ☆44Updated 3 years ago
- 2048 in c language☆34Updated last year
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆52Updated 3 months ago
- Coin.Space Digital currency wallet☆16Updated last month
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- 自动探测热点☆31Updated 4 years ago
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago
- ☆21Updated 3 years ago
- Controllable map object. Can support any dynamic tree-shaped stucture, XML, JSON, etc...☆24Updated 6 months ago