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