gterzian / understand-paxosView external linksLinks
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
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated 11 months ago
- ☆13Apr 10, 2025Updated 10 months ago
- Run TLC in cmd☆15Jan 20, 2026Updated 3 weeks ago
- 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 week
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 3 years ago
- A CLI tool to for crypto functions☆13Jan 13, 2025Updated last year
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- ☆10Jul 19, 2021Updated 4 years ago
- ☆42Jun 17, 2022Updated 3 years ago
- async fn(Input) -> Result<Output, Error>☆51Feb 22, 2024Updated last year
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 2 months ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Mar 21, 2021Updated 4 years ago
- A fork of Bevy Hanabi, the GPU-driven VFX system for Bevy, with improved performance and functionality☆16Feb 4, 2026Updated last week
- simple, fast and efficient s3 client for bucket operations☆15Nov 27, 2025Updated 2 months ago
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- Rust Roguelike: Introductory Tutorial Example of Rust and Unit Testing☆13Oct 16, 2019Updated 6 years ago
- ☆10May 22, 2023Updated 2 years ago
- A Rust library for reading and writing data with byte order awareness.☆16Aug 3, 2021Updated 4 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 4 months ago
- handle gguf files☆12Aug 14, 2025Updated 6 months ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11May 8, 2019Updated 6 years ago
- Basic C++ library☆13Mar 21, 2023Updated 2 years ago
- A simple PostgreSQL data migration tool☆19Oct 7, 2018Updated 7 years ago
- Apple Open Directory to Samba 4 Active Directory Domain Controller migration tools☆12Jan 27, 2021Updated 5 years ago
- ☆10Jan 28, 2026Updated 2 weeks ago
- High performance Rust ECS library☆10Aug 15, 2020Updated 5 years ago
- Web components framework for Deno☆12Sep 3, 2021Updated 4 years ago
- Simple text reader for the OSIS format.☆11Nov 20, 2014Updated 11 years ago
- A pretty-printer for X12 EDI files☆11Jun 21, 2021Updated 4 years ago
- ☆12Dec 27, 2019Updated 6 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
- Repository for the bevy jam #1 You can try the game here: https://therealteamfresh.github.io/Bevy-Jam-1/☆12Mar 23, 2022Updated 3 years ago
- ☆11Nov 29, 2020Updated 5 years ago
- Lockstitch is an incremental, stateful cryptographic primitive for symmetric-key cryptographic operations (e.g. hashing, encryption, mess…☆12Feb 5, 2026Updated last week
- ☆15Jul 2, 2023Updated 2 years ago