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
• muratdem / HLC

  View on GitHub
  ☆17Oct 2, 2017Updated 8 years ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 3 weeks ago
• bsdelf / tikv-browser

  View on GitHub
  TiKV Browser: inspect key-values in a browser
  ☆16Aug 26, 2019Updated 6 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
• pingcap / weekly

  View on GitHub
  ☆57Apr 23, 2021Updated 4 years ago
• Apress / linux-kernel-networking

  View on GitHub
  Source code for 'Linux Kernel Networking' by Rami Rosen
  ☆28Mar 28, 2017Updated 8 years ago
• QAhell / Parser-Gombinators

  View on GitHub
  Simple Parser Combinators in Go
  ☆15Nov 5, 2018Updated 7 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
• scuptio / sedeve-kit

  View on GitHub
  In Spec We Trust
  ☆42Jun 29, 2025Updated 7 months ago
• onekb / jikipedia-alfred-workflows

  View on GitHub
  小鸡词典🐤的Alfred🎩插件 咯咯咯
  ☆11Apr 19, 2023Updated 2 years ago
• mawenbao / protobuf-demo

  View on GitHub
  A simple demo project of cmake and google protocol buffer.
  ☆10Dec 3, 2013Updated 12 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
• 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
• aurora / asciidia

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

  View on GitHub
  基于 SpringBoot 的 AI BOT 对战小游戏~
  ☆10Dec 8, 2023Updated 2 years ago
• pest-parser / site

  View on GitHub
  This repo contains the source code for https://pest.rs
  ☆13Feb 1, 2026Updated 2 weeks ago
• advanced-rust / rust-you-don-t-know

  View on GitHub
  ☆14Apr 4, 2023Updated 2 years ago
• oracle / heatwave

  View on GitHub
  SQL scripts, instructions for MySQL HeatWave benchmarking
  ☆12Mar 17, 2024Updated last year
• semicircle / gocors

  View on GitHub
  A tiny toolkit for Go HTTP CORS support
  ☆11Nov 8, 2013Updated 12 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
• xuwd11 / 15-213_labs

  View on GitHub
  My solution to labs for self-study students in CS:APP3e.
  ☆11Mar 30, 2020Updated 5 years ago
• jskri / modeling-with-tla

  View on GitHub
  Tutorial on modeling with TLA+
  ☆24Oct 7, 2025Updated 4 months ago
• nano-o / MultiPaxos

  View on GitHub
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Jan 23, 2023Updated 3 years ago
• SciRuby / statsample-timeseries

  View on GitHub
  Bioruby Statsample TimeSeries
  ☆14Aug 6, 2017Updated 8 years ago
• datenlord / open-rdma-driver

  View on GitHub
  Datanlord's RDMA nic driver
  ☆12Sep 12, 2024Updated last year
• Magnumlu / redis-4.0

  View on GitHub
  Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…
  ☆10Jul 29, 2019Updated 6 years ago
• brson / rust-is-for-blockchain

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

  View on GitHub
  Example layout for a package using Go assembly.
  ☆12Aug 18, 2016Updated 9 years ago
• imneov / ssdb-port

  View on GitHub
  Siphon mock SSDB slave server, sync data between ssdb master and redis (or pika) server.
  ☆13May 22, 2020Updated 5 years ago
• cch123 / knowledge-index

  View on GitHub
  knowledge index for my career
  ☆11May 6, 2021Updated 4 years ago
• andylokandy / nom-rule

  View on GitHub
  A procedural macro for defining nom combinators in simple DSL
  ☆48Jan 31, 2025Updated last year
• tombergan / goheapdump

  View on GitHub
  Prototype go heapdump API
  ☆44Mar 22, 2017Updated 8 years ago