Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
☆20Mar 19, 2026Updated last week
Alternatives and similar repositories for fast-caspaxos
Users that are interested in fast-caspaxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Library to convert natural language utterance into a structured domain specific language☆19Feb 11, 2026Updated last month
- The .NET library to detect OS and process environment☆20Jan 25, 2026Updated 2 months ago
- A modern logging library for TypeScript with custom levels, worker-thread offloading, fully customizable templates, and built-in transpor…☆19Feb 2, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- solver for the reachability modulo theories problem☆63Mar 8, 2026Updated 2 weeks ago
- State machine and actor libraries for TypeScript/JavaScript.☆12Jul 24, 2019Updated 6 years ago
- Streaming safe+unsafe x86/64 LZ4 compression portable class library in C#☆17Sep 5, 2014Updated 11 years ago
- Probably the n'th incarnation of a #WindowsAzure uploader, but I needed one.☆14Jul 10, 2017Updated 8 years ago
- System.Threading.RateLimiting implementation backed by Orleans☆48Jul 1, 2022Updated 3 years ago
- Visual Studio extension that helps you use keyboard shortcuts☆10Jun 23, 2017Updated 8 years ago
- Lz4.Net is a c# wrapper using the native dll (x86/x64)☆12Nov 12, 2016Updated 9 years ago
- An experimental edge key-value database built on top of FoundationDB.☆11Jan 9, 2025Updated last year
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- TopazView is a lightweight view engine that utilizes the Topaz JavaScript Engine. It serves as an alternative to the Razor View Engine, o…☆20Nov 14, 2024Updated last year
- A single WebTorrent client shared by all web pages and workers☆33Aug 19, 2022Updated 3 years ago
- FPGA Low latency 10GBASE-R PCS☆12May 23, 2023Updated 2 years ago
- Akka.NET cluster management, bootstrapping, and more.☆29Mar 19, 2026Updated last week
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated last year
- Fish bot for the MMORPG World of Warcraft☆10Aug 3, 2018Updated 7 years ago
- Distributed, consistent and highly available key-value storage system (using LevelDB) based on Raft consensus algorithm.☆10Apr 14, 2016Updated 9 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years ago
- Example code to illustrate the authoring of NuGet packages☆14Jan 5, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Postgres fork used for PGlite☆26Mar 19, 2026Updated last week
- Microsoft Orleans enhancement for dynamic grain activation balancing across a cluster☆26Jul 9, 2023Updated 2 years ago
- An MMORPG proof of concept for Hunter College Capstone - Spring 2015.☆12Mar 16, 2018Updated 8 years ago
- Say hello to ElixirRump an Elixir Microkernel powered by Rumprun unikernel☆15Aug 18, 2017Updated 8 years ago
- A more realistic reload system for GTA V☆10Dec 28, 2020Updated 5 years ago
- Persistence support for NServiceBus using NHibernate☆12Updated this week
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- LSM tree implementation based on standard B-Tree☆31Dec 15, 2022Updated 3 years ago
- Get started with Coyote with these simple introductory sample projects.☆52Mar 17, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Sample application; Running Asp.NET Core application as a Windows service☆15Jun 28, 2016Updated 9 years ago
- Use pipe expressions in your PromQL queries or code!☆16Mar 3, 2021Updated 5 years ago
- Samples for Azure Functions (WebJobs.Script)☆19Feb 9, 2021Updated 5 years ago
- Zen is a constraint solving library for .NET☆145Jan 8, 2024Updated 2 years ago
- Real-time Indoor Positioning System☆16Sep 21, 2015Updated 10 years ago
- Intel DPDK support☆17Aug 7, 2014Updated 11 years ago
- ReasoningShield: Safety Detection over Reasoning Traces of Large Reasoning Models☆25Sep 27, 2025Updated 6 months ago