Alternatives and similar repositories for on-epaxos-correctness

Users that are interested in on-epaxos-correctness are comparing it to the libraries listed below

• nano-o / MultiPaxos

  View on GitHub
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Jan 23, 2023Updated 3 years ago
• otrack / epaxos

  View on GitHub
  Based on http://efficient.github.io/epaxos (morethan5 branch)
  ☆19Aug 28, 2024Updated last year
• Nugine / epkv

  View on GitHub
  An experimental distributed key-value database using EPaxos protocol
  ☆16Feb 1, 2026Updated 2 weeks ago
• nvb / epaxos

  View on GitHub
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆63Oct 30, 2020Updated 5 years ago
• Nugine / simdutf-rs

  View on GitHub
  Unicode validation and transcoding at billions of characters per second
  ☆24Feb 8, 2026Updated last week
• pisimulation / epaxos

  View on GitHub
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Feb 14, 2020Updated 6 years ago
• datenlord / r-epaxos

  View on GitHub
  ☆26May 22, 2022Updated 3 years ago
• cmu-db / noisepage-stats

  View on GitHub
  DBMS Performance & Correctness Testing Framework
  ☆30Sep 22, 2021Updated 4 years ago
• efficient / epaxos

  View on GitHub
  ☆630Aug 15, 2021Updated 4 years ago
• Aceeri / steam-audio-rs

  View on GitHub
  Steam audio bindings for Rust
  ☆10Jan 26, 2025Updated last year
• cosformula / CourseSchedulingHelper

  View on GitHub
  A Course Scheduling Helper Using Vue.js
  ☆15Jan 24, 2019Updated 7 years ago
• kfigiela / denon-raspberry

  View on GitHub
  App for integrating Denon DRA-F109 stereo receiver with Raspberry Pi
  ☆10Jun 17, 2022Updated 3 years ago
• LumaKernel / coqpit.vim

  View on GitHub
  Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
  ☆10Nov 1, 2022Updated 3 years ago
• try-box / rust-box

  View on GitHub
  ☆10May 18, 2025Updated 8 months ago
• zjp-CN / rust-note

  View on GitHub
  Rust 学习笔记
  ☆38Dec 21, 2025Updated last month
• VersBinarii / xpt2046

  View on GitHub
  Rust driver for XPT2046 touch controller
  ☆10May 14, 2024Updated last year
• tchajed / protocol-verification-fa2023

  View on GitHub
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆12Nov 30, 2023Updated 2 years ago
• polachok / seccomp-sys

  View on GitHub
  low-level bindings to libseccomp
  ☆12Mar 6, 2021Updated 4 years ago
• bonsairobo / ilattice-rs

  View on GitHub
  Generic math on integer lattices
  ☆10Feb 23, 2024Updated last year
• mtrx1337 / linux-tips

  View on GitHub
  A collection of semi useful tips for Linux users that is growing with every challenge I overcome.
  ☆12Jan 9, 2020Updated 6 years ago
• Cjen1 / consensus-tlaplus

  View on GitHub
  ☆11Oct 21, 2024Updated last year
• Nugine / nublog

  View on GitHub
  Nugine 的个人博客
  ☆11Feb 1, 2026Updated 2 weeks ago
• kgignatyev / hiera-ctp

  View on GitHub
  Hierarchical key value lookup plugin for Consul Template
  ☆12Mar 22, 2024Updated last year
• seddonm1 / s3ite

  View on GitHub
  ☆14Jun 13, 2025Updated 8 months ago
• jobteaser / lua-resty-aws-signature

  View on GitHub
  AWS signature V4 library for OpenResty + Lua
  ☆11Sep 25, 2018Updated 7 years ago
• trskop / overloaded-records

  View on GitHub
  Overloaded Record Fields implementation based on GHC prototypes.
  ☆14Mar 6, 2017Updated 8 years ago
• caetanosauer / fineline-zero

  View on GitHub
  ☆12Dec 18, 2018Updated 7 years ago
• josehu07 / cuckoo-hashing-CUDA

  View on GitHub
  Parallel cuckoo hashing on GPUs with CUDA
  ☆12Sep 27, 2019Updated 6 years ago
• ivmarkov / hal-sim

  View on GitHub
  Embedded-hal simulator.
  ☆11Jan 16, 2025Updated last year
• celestia-island / yuuka

  View on GitHub
  A helper library to generate complex and nested structures by a simple macro
  ☆14Feb 8, 2026Updated last week
• alorfa / Age

  View on GitHub
  Another 3D graphics engine from another noname.
  ☆15Apr 2, 2024Updated last year
• KernelErr / paddle-sys

  View on GitHub
  Rust wrapper for Paddle Inference.
  ☆11May 22, 2021Updated 4 years ago
• parsonsmatt / persistent-documentation

  View on GitHub
  DSL for attaching documentation to persistent entities
  ☆14May 30, 2025Updated 8 months ago
• wanghaEMQ / pynng-mqtt

  View on GitHub
  ☆17Apr 18, 2024Updated last year
• marimo-team / meps

  View on GitHub
  Marimo Enhancement Proposals
  ☆15Jul 24, 2025Updated 6 months ago
• google / safe-mmio

  View on GitHub
  A Rust library crate with types for safe MMIO device access
  ☆28Updated this week
• Gusanidas / rust-bench

  View on GitHub
  ☆15Nov 29, 2024Updated last year
• jhbertra / purescript-reactive-effect

  View on GitHub
  Higher-order FRP for PureScript
  ☆13Dec 24, 2022Updated 3 years ago
• jyp / sctt

  View on GitHub
  Type-Theory in Sequent Calculus
  ☆14Jul 30, 2015Updated 10 years ago