Alternatives and similar repositories for vsr-tlaplus

Users that are interested in vsr-tlaplus are comparing it to the libraries listed below

• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆90Updated 3 years ago
• Vanlightly / table-formats-tlaplus
  TLA+ specs for table formats
  ☆42Updated last year
• WyattJia / Pomegranate
  🌳 A tiny skiplist based log-structured merge-tree written in Rust.
  ☆25Updated 2 years ago
• flock-lab / flock
  Flock: A Low-Cost Streaming Query Engine on FaaS Platforms
  ☆277Updated 2 years ago
• embryo-labs / Blitzcrank
  [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.
  ☆40Updated last year
• morristai / iceberg-mcp
  MCP server for Apache Iceberg
  ☆33Updated last month
• ashyanSpada / expression_engine_rs
  An expression engine written in pure rust
  ☆34Updated last year
• panghu-huang / astro-run
  A highly extensible runner that can execute any workflow.
  ☆18Updated last year
• panghu-huang / octocrate
  A comprehensive GitHub REST API library based on Rust.
  ☆26Updated 10 months ago
• noorall / equinoxdb
  [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.
  ☆15Updated 7 months ago
• wwj31 / dogactor
  Distributed Systems,Based on Actor Model
  ☆61Updated last year
• n-hop / oasis
  Tool to test networking protocols in diverse topologies and conditions.
  ☆17Updated 2 months ago
• jerry153fish / remote-secrets
  A k8s operator in rust that convert remote secrets into k8s secrets
  ☆70Updated last week
• laohanlinux / eraft-rs
  eraft-rs is raft component of etcd-rs
  ☆65Updated 3 years ago
• tangrc99 / MemTable
  go 语言仿写的 redis 服务器，支持 RESP 通信协议
  ☆36Updated 2 years ago
• GeorgeWuzy / TCP-multi-threads-speedup
  本项目利用多线程加速手段以及TCP通讯技术实现两台计算机协作执行，挖掘两个计算机的潜在算力。This project utilizes multi-threaded acceleration and TCP communication technology to colla…
  ☆34Updated 2 years ago
• WyattJia / Kites
  🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…
  ☆37Updated 5 years ago
• ohnnySong / 2048
  2048 in c language
  ☆33Updated 3 months ago
• DeerNetwork / deer-node
  Official Rust implementation of the Deer protocol
  ☆63Updated 3 years ago
• PeterRK / protocache
  Alternative flat binary format for Protobuf schema
  ☆80Updated 3 months ago
• CESSProject / cess-portal
  CESS storage Linux client
  ☆38Updated 3 years ago
• yumosx / voyant
  [refactor] eBPF trace language
  ☆17Updated 8 months ago
• thegenius / luna-orm
  A simple orm to saving lives
  ☆23Updated last year
• ffengc / Reactor-based-HyperWebServer
  A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model
  ☆34Updated last year
• Driver-C / tryssh
  The tryssh is a command line SSH terminal tool with password guessing function.
  ☆32Updated 6 months ago
• ffengc / Multiplexing-high-performance-IO-server
  Here are three types of high-performance IO servers, implemented through multiplexing. They are select, poll, and epoll, respectively.
  ☆23Updated last year
• laindream / go-callflow-vis
  A tool for analyzing and visualizing complex software architecture hierarchies
  ☆46Updated last year
• Nevermore1994 / Cpp-Channel
  C++ MPSC-Channel, Thread-safe container for sharing data between threads
  ☆36Updated last year
• algorithm-tools / CausalAnalysis
  Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators
  ☆43Updated 6 months ago
• kaizizzzzzz / Bitnet-C-benchmark
  Single-thread, end-to-end C++ implementation of the Bitnet (1.58-bit weight) model
  ☆14Updated last year