Alternatives and similar repositories for raft.tla

Users that are interested in raft.tla are comparing it to the libraries listed below

• dranov / raft-tla

  View on GitHub
  ☆21Oct 25, 2021Updated 4 years ago
• tlaplus / TLAiBench

  View on GitHub
  TLAi+ Benchmarks
  ☆28Feb 6, 2026Updated last week
• muratdem / HLC

  View on GitHub
  ☆17Oct 2, 2017Updated 8 years ago
• bsdelf / tikv-browser

  View on GitHub
  TiKV Browser: inspect key-values in a browser
  ☆16Aug 26, 2019Updated 6 years ago
• tcse-iscas / Mocket

  View on GitHub
  TLA+ model checking guided testing for distributed systems
  ☆17Feb 12, 2024Updated 2 years ago
• miura1729 / mruby

  View on GitHub
  Lightweight Ruby　with JIT compiler
  ☆31Aug 17, 2021Updated 4 years ago
• pron / amazon-snapshot-spec

  View on GitHub
  TLA+ and Alloy specs of database isolation
  ☆21Oct 13, 2015Updated 10 years ago
• siddontang / github-cli

  View on GitHub
  A CLI tool to help me manage too many repositories
  ☆26Oct 10, 2018Updated 7 years ago
• rystsov / perseus

  View on GitHub
  Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…
  ☆49Mar 29, 2019Updated 6 years ago
• lambdastackio / tokio-http2

  View on GitHub
  HTTP/2 Rust library
  ☆50Sep 8, 2017Updated 8 years ago
• ongardie / raft.tla

  View on GitHub
  TLA+ specification for the Raft consensus algorithm
  ☆507Feb 18, 2025Updated 11 months ago
• asimihsan / permutation-iterator-rs

  View on GitHub
  A Rust library for iterating over random permutations.
  ☆14Jun 15, 2021Updated 4 years ago
• tlaplus / DrTLAPlus

  View on GitHub
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆847Apr 18, 2022Updated 3 years ago
• gyuho / linux-inspect

  View on GitHub
  linux-inspect implements various Linux inspecting utilities.
  ☆38Feb 3, 2023Updated 3 years ago
• Vanlightly / raft-tlaplus

  View on GitHub
  TLA+ specifications for Raft and variants
  ☆90Jul 18, 2022Updated 3 years ago
• cznic / ebnf2y

  View on GitHub
  github.com/cznic/ebnf2y has moved to modernc.org/ebnf2y
  ☆95Nov 22, 2018Updated 7 years ago
• scuptio / sedeve-kit

  View on GitHub
  In Spec We Trust
  ☆42Jun 29, 2025Updated 7 months ago
• miraclesu / keywords-filter

  View on GitHub
  Keywords Filter
  ☆31Oct 25, 2018Updated 7 years ago
• go-cloud / myshard

  View on GitHub
  Yet another MySQL proxy with Go
  ☆35Dec 29, 2014Updated 11 years ago
• A-Herzog / Mini-Callcenter-Simulator

  View on GitHub
  Mini Callcenter Simulator simulates a call center and takes into account many parameters not covered by the Erlang C formula.
  ☆12Jan 23, 2026Updated 3 weeks ago
• siddontang / fault-injection

  View on GitHub
  Some tools to inject failure
  ☆10Mar 7, 2018Updated 7 years ago
• mawenbao / protobuf-demo

  View on GitHub
  A simple demo project of cmake and google protocol buffer.
  ☆10Dec 3, 2013Updated 12 years ago
• biogo / store

  View on GitHub
  bíogo data store repository
  ☆38Nov 20, 2020Updated 5 years ago
• cmschmtt / tla-plus-resources

  View on GitHub
  Personal reading list/reference re: TLA+
  ☆90Feb 13, 2018Updated 8 years ago
• osrg / namazu

  View on GitHub
  鯰: Programmable fuzzy scheduler for testing distributed systems
  ☆496Aug 24, 2018Updated 7 years ago
• BennyThink / MemorialDay

  View on GitHub
  WordPress & Typecho插件，在指定日期网站变成黑白
  ☆10May 11, 2018Updated 7 years ago
• cch123 / knowledge-index

  View on GitHub
  knowledge index for my career
  ☆11May 6, 2021Updated 4 years ago
• brson / rust-is-for-blockchain

  View on GitHub
  Slides about the Rust in the blockchain industry
  ☆10Dec 7, 2022Updated 3 years ago
• mzohreva / GoGraphviz

  View on GitHub
  A simple Go library for generating graphs using Graphviz (http://graphviz.org)
  ☆10Feb 26, 2018Updated 7 years ago
• SciRuby / statsample-timeseries

  View on GitHub
  Bioruby Statsample TimeSeries
  ☆14Aug 6, 2017Updated 8 years ago
• enukane / c90-plan9-assembler-handbook

  View on GitHub
  C90で頒布した "Plan 9 Assembler Handbook" の文章データ
  ☆10Aug 14, 2016Updated 9 years ago
• xuwd11 / 15-213_labs

  View on GitHub
  My solution to labs for self-study students in CS:APP3e.
  ☆11Mar 30, 2020Updated 5 years ago
• brson / paxos-for-dummies-like-me

  View on GitHub
  ☆11Nov 29, 2020Updated 5 years ago
• datenlord / open-rdma-driver

  View on GitHub
  Datanlord's RDMA nic driver
  ☆12Sep 12, 2024Updated last year
• semicircle / gocors

  View on GitHub
  A tiny toolkit for Go HTTP CORS support
  ☆11Nov 8, 2013Updated 12 years ago
• aurora / asciidia

  View on GitHub
  Create SVG or bitmaps from simple ASCII diagrams, EBNF notations, etc.
  ☆19May 7, 2015Updated 10 years ago
• oscourse-tsinghua / ucore_plus

  View on GitHub
  ucore+ repository for OS laboratory 2015
  ☆10Jun 1, 2018Updated 7 years ago
• oracle / heatwave

  View on GitHub
  SQL scripts, instructions for MySQL HeatWave benchmarking
  ☆12Mar 17, 2024Updated last year
• PacktPublishing / Learning-C-8-and-.NET-Core-3.0

  View on GitHub
  Learning C# 8 and .NET Core 3.0 [Video], published by Packt
  ☆10Jan 18, 2021Updated 5 years ago