What makes Paxos tick?
☆11Apr 16, 2025Updated 10 months ago
Alternatives and similar repositories for understand-paxos
Users that are interested in understand-paxos are comparing it to the libraries listed below
Sorting:
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- ☆13Apr 10, 2025Updated 10 months ago
- Run TLC in cmd☆15Jan 20, 2026Updated last month
- Rust cli tool for running multiple commands in parallel☆21Oct 21, 2024Updated last year
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆24Feb 8, 2026Updated last month
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 3 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- ☆10Jul 19, 2021Updated 4 years ago
- A modern, cross-platform Web Push Notification library with full VAPID support. Handles payload encryption, authentication, and delivery …☆21Jan 29, 2026Updated last month
- A CLI tool to for crypto functions☆13Feb 26, 2026Updated last week
- ☆42Jun 17, 2022Updated 3 years ago
- async fn(Input) -> Result<Output, Error>☆51Feb 22, 2024Updated 2 years ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Mar 21, 2021Updated 4 years ago
- Treat application routes (URL path + query string) as strongly-typed Rust structs☆13Jun 16, 2019Updated 6 years ago
- Version for rails 3☆34May 26, 2016Updated 9 years ago
- Accompanying documentation that were used in the Dolwin development process☆11Updated this week
- JSON event parser is a simple streaming JSON parser and serializer implementation in Rust.☆14Mar 2, 2026Updated last week
- The ActiveRecord like API for Rroonga.☆23Jul 11, 2019Updated 6 years ago
- RaptorJIT: a dynamic system programming language (manuscript)☆16Jun 4, 2019Updated 6 years ago
- a simple reference software renderer to be used for debugging shaders☆11Apr 4, 2025Updated 11 months ago
- ☆10Apr 29, 2016Updated 9 years ago
- TLAi+ Benchmarks☆28Feb 6, 2026Updated last month
- The Cross-Platform Toolkit☆19Mar 7, 2016Updated 10 years ago
- High performance Rust ECS library☆10Aug 15, 2020Updated 5 years ago
- ☆10May 22, 2023Updated 2 years ago
- A port of the RWKV v7 language model, implemented with the Burn deep learning framework☆14Jun 9, 2025Updated 9 months ago
- ☆15Jul 2, 2023Updated 2 years ago
- ☆12May 13, 2024Updated last year
- Basic C++ library☆13Mar 21, 2023Updated 2 years ago
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated 11 months ago
- 基于 SpringBoot 的 AI BOT 对战小游戏~☆10Dec 8, 2023Updated 2 years ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- A simple PostgreSQL data migration tool☆19Oct 7, 2018Updated 7 years ago
- ☆11Nov 29, 2020Updated 5 years ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- A document file format that allows writers to focus on the content solely and empowers readers to adapt the appearance to their devices a…☆10Apr 20, 2023Updated 2 years ago