Vanlightly / vsr-tlaplusLinks
TLA+ specifications related to Viewstamped Replication
☆53Updated 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+ specs for table formats☆42Updated 11 months ago
- TLA+ specifications for Raft and variants☆90Updated 3 years ago
- 🌳 A tiny skiplist based log-structured merge-tree written in Rust.☆25Updated last year
- eraft-rs is raft component of etcd-rs☆65Updated 3 years ago
- A highly extensible runner that can execute any workflow.☆18Updated last year
- MCP server for Apache Iceberg☆31Updated last week
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆275Updated last year
- A k8s operator in rust that convert remote secrets into k8s secrets☆70Updated this week
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆40Updated last year
- An expression engine written in pure rust☆34Updated last year
- Distributed Systems,Based on Actor Model☆61Updated last year
- A comprehensive GitHub REST API library based on Rust.☆26Updated 6 months ago
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆91Updated last week
- Tool to test networking protocols in diverse topologies and conditions.☆18Updated last month
- go 语言仿写的 redis 服务器,支持 RESP 通信协议☆36Updated 2 years ago
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago
- Official Rust implementation of the Deer protocol☆64Updated 3 years ago
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 3 months ago
- Single-thread, end-to-end C++ implementation of the Bitnet (1.58-bit weight) model☆13Updated 10 months ago
- 2048 in c language☆34Updated this week
- CESS storage Linux client☆39Updated 2 years ago
- A simple orm to saving lives☆23Updated 8 months ago
- Here are three types of high-performance IO servers, implemented through multiplexing. They are select, poll, and epoll, respectively.☆23Updated last year
- 本项目利用多线程加速手段以及TCP通讯技术实现两台计算机协作执行,挖掘两个计算机的潜在算力。This project utilizes multi-threaded acceleration and TCP communication technology to colla…☆34Updated 2 years ago
- [refactor] eBPF trace language☆17Updated 4 months ago
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- ☆27Updated 6 years ago
- A MongoDB-compatible, high-performance, elastic, distributed document database.☆161Updated this week
- C++ MPSC-Channel, Thread-safe container for sharing data between threads☆36Updated last year
- ☆32Updated 10 months ago