jinlmsft / raft.tlaView external linksLinks
TLA+ specification for the Raft consensus algorithm
☆19Aug 22, 2016Updated 9 years ago
Alternatives and similar repositories for raft.tla
Users that are interested in raft.tla are comparing it to the libraries listed below
Sorting:
- ☆21Oct 25, 2021Updated 4 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 3 weeks ago
- TiKV Browser: inspect key-values in a browser☆16Aug 26, 2019Updated 6 years ago
- Lightweight Ruby with JIT compiler☆31Aug 17, 2021Updated 4 years ago
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- A CLI tool to help me manage too many repositories☆26Oct 10, 2018Updated 7 years ago
- ☆57Apr 23, 2021Updated 4 years ago
- Source code for 'Linux Kernel Networking' by Rami Rosen☆28Mar 28, 2017Updated 8 years ago
- Simple Parser Combinators in Go☆15Nov 5, 2018Updated 7 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆847Apr 18, 2022Updated 3 years ago
- linux-inspect implements various Linux inspecting utilities.☆38Feb 3, 2023Updated 3 years ago
- TLA+ specifications for Raft and variants☆90Jul 18, 2022Updated 3 years ago
- In Spec We Trust☆42Jun 29, 2025Updated 7 months ago
- 小鸡词典🐤的Alfred🎩插件 咯咯咯☆11Apr 19, 2023Updated 2 years ago
- A simple demo project of cmake and google protocol buffer.☆10Dec 3, 2013Updated 12 years ago
- 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
- Some tools to inject failure☆10Mar 7, 2018Updated 7 years ago
- Personal reading list/reference re: TLA+☆90Feb 13, 2018Updated 8 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆496Aug 24, 2018Updated 7 years ago
- Create SVG or bitmaps from simple ASCII diagrams, EBNF notations, etc.☆19May 7, 2015Updated 10 years ago
- 基于 SpringBoot 的 AI BOT 对战小游戏~☆10Dec 8, 2023Updated 2 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated 2 weeks ago
- ☆14Apr 4, 2023Updated 2 years ago
- SQL scripts, instructions for MySQL HeatWave benchmarking☆12Mar 17, 2024Updated last year
- A tiny toolkit for Go HTTP CORS support☆11Nov 8, 2013Updated 12 years ago
- A simple Go library for generating graphs using Graphviz (http://graphviz.org)☆10Feb 26, 2018Updated 7 years ago
- My solution to labs for self-study students in CS:APP3e.☆11Mar 30, 2020Updated 5 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 4 months ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Bioruby Statsample TimeSeries☆14Aug 6, 2017Updated 8 years ago
- Datanlord's RDMA nic driver☆12Sep 12, 2024Updated last year
- 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
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- Example layout for a package using Go assembly.☆12Aug 18, 2016Updated 9 years ago
- Siphon mock SSDB slave server, sync data between ssdb master and redis (or pika) server.☆13May 22, 2020Updated 5 years ago
- knowledge index for my career☆11May 6, 2021Updated 4 years ago
- A procedural macro for defining nom combinators in simple DSL☆48Jan 31, 2025Updated last year
- Prototype go heapdump API☆44Mar 22, 2017Updated 8 years ago