On the correctness of Egalitarian Paxos
☆19Jun 27, 2019Updated 6 years ago
Alternatives and similar repositories for on-epaxos-correctness
Users that are interested in on-epaxos-correctness are comparing it to the libraries listed below
Sorting:
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated last year
- An experimental distributed key-value database using EPaxos protocol☆16Mar 1, 2026Updated last week
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆63Oct 30, 2020Updated 5 years ago
- Unicode validation and transcoding at billions of characters per second☆25Mar 1, 2026Updated last week
- A Pure Rust Implementation of Egalitarian Paxos☆49Feb 14, 2020Updated 6 years ago
- ☆26May 22, 2022Updated 3 years ago
- DBMS Performance & Correctness Testing Framework☆30Sep 22, 2021Updated 4 years ago
- ☆629Aug 15, 2021Updated 4 years ago
- Steam audio bindings for Rust☆10Jan 26, 2025Updated last year
- ☆10May 18, 2025Updated 9 months ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- A Course Scheduling Helper Using Vue.js☆15Jan 24, 2019Updated 7 years ago
- App for integrating Denon DRA-F109 stereo receiver with Raspberry Pi☆10Jun 17, 2022Updated 3 years ago
- A collection of semi useful tips for Linux users that is growing with every challenge I overcome.☆12Jan 9, 2020Updated 6 years ago
- Rust 学习笔记☆38Dec 21, 2025Updated 2 months ago
- Nugine 的个人博客☆11Updated this week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- low-level bindings to libseccomp☆12Mar 6, 2021Updated 5 years ago
- Rust driver for XPT2046 touch controller☆10May 14, 2024Updated last year
- ☆11Oct 21, 2024Updated last year
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 3 years ago
- Hierarchical key value lookup plugin for Consul Template☆12Mar 22, 2024Updated last year
- Generic math on integer lattices☆10Feb 23, 2024Updated 2 years ago
- A helper library to generate complex and nested structures by a simple macro☆14Feb 8, 2026Updated last month
- Marimo Enhancement Proposals☆15Jul 24, 2025Updated 7 months ago
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- Rust wrapper for Paddle Inference.☆11May 22, 2021Updated 4 years ago
- ☆19Jun 13, 2025Updated 8 months ago
- ☆17Apr 18, 2024Updated last year
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 9 years ago
- 基于springboot面向大学生收电子档作业的web工具 / Meant to be used as a tool to manage students' assignments in campus☆12Apr 10, 2025Updated 10 months ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- ☆12Dec 18, 2018Updated 7 years ago
- AWS signature V4 library for OpenResty + Lua☆11Sep 25, 2018Updated 7 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- ☆15Nov 29, 2024Updated last year
- A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.☆10Updated this week