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
  ☆89Updated 2 years ago
• Vanlightly / table-formats-tlaplus
  TLA+ specs for table formats
  ☆39Updated 7 months ago
• WyattJia / Pomegranate
  🌳 A tiny skiplist based log-structured merge-tree written in Rust.
  ☆25Updated last year
• morristai / iceberg-mcp
  MCP server for Apache Iceberg
  ☆29Updated last month
• panghu-huang / astro-run
  A highly extensible runner that can execute any workflow.
  ☆18Updated 10 months ago
• jerry153fish / remote-secrets
  A k8s operator in rust that convert remote secrets into k8s secrets
  ☆71Updated this week
• panghu-huang / octocrate
  A comprehensive GitHub REST API library based on Rust.
  ☆27Updated 3 months ago
• ashyanSpada / expression_engine_rs
  An expression engine written in pure rust
  ☆33Updated last year
• hominee / grsql
  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
• embryo-labs / Blitzcrank
  [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-lab / flock
  Flock: A Low-Cost Streaming Query Engine on FaaS Platforms
  ☆272Updated last year
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• n-hop / oasis
  Tool to test networking protocols in diverse topologies and conditions.
  ☆18Updated 2 months ago
• gh0stintheshe11 / CUDA-Accelerated-AES-Encryption
  University of Toronto / ECE1782 - Programming Massively Parallel Multiprocessors and Heterogeneous Systems / Project: an optimized CUDA I…
  ☆24Updated 11 months ago
• eloqdata / eloqsql
  A MySQL-compatible, high performance, elastic, distributed SQL database.
  ☆47Updated 2 months ago
• eloqdata / eloqdoc
  A MongoDB-compatible, high-performance, elastic, distributed document database.
  ☆64Updated last week
• WyattJia / Kites
  🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…
  ☆37Updated 4 years ago
• DeerNetwork / deer-node
  Official Rust implementation of the Deer protocol
  ☆65Updated 2 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆68Updated 2 years ago
• laohanlinux / eraft-rs
  eraft-rs is raft component of etcd-rs
  ☆65Updated 2 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 4 months ago
• yumosx / voyant
  [refactor] eBPF trace language
  ☆17Updated last month
• xuhaike / SparseCL
  ☆31Updated 11 months ago
• fefergrgrgrg / CoinSpace
  Coin.Space Digital currency wallet
  ☆16Updated 3 weeks ago
• JJerryJi / ticket-booking
  Auto-ticket booking for UCLA Badminton Court at John Wooden Center
  ☆20Updated 2 years ago
• EarlyZhao / hotDetect
  自动探测热点
  ☆31Updated 4 years ago
• xwzy / godan
  Skip List, Bloom Filter, Ring Buffer, Query Counter, LRU, LFU... 🚀🚀🚀 Data structures and algorithm implementation in golang.
  ☆9Updated 3 years ago
• kaizizzzzzz / Bitnet-C-benchmark
  Single-thread, end-to-end C++ implementation of the Bitnet (1.58-bit weight) model
  ☆13Updated 6 months ago
• psu-csl / replicated-store
  ☆21Updated 2 weeks ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago