Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
☆22Apr 8, 2026Updated 3 months ago
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 9 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☆20Feb 11, 2026Updated 5 months ago
- solver for the reachability modulo theories problem☆63Mar 8, 2026Updated 4 months ago
- Lz4.Net is a c# wrapper using the native dll (x86/x64)☆12Apr 3, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- State machine and actor libraries for TypeScript/JavaScript.☆12Jul 24, 2019Updated 7 years ago
- System.Threading.RateLimiting implementation backed by Orleans☆48Jul 1, 2022Updated 4 years ago
- The .NET library to detect OS and process environment☆21Jun 30, 2026Updated 3 weeks 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 9 years ago
- 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
- Distributed, consistent and highly available key-value storage system (using LevelDB) based on Raft consensus algorithm.☆10Apr 14, 2016Updated 10 years ago
- A modern logging library for TypeScript with custom levels, worker-thread offloading, fully customizable templates, and built-in transpor…☆18Feb 2, 2026Updated 5 months ago
- Visual Studio extension that helps you use keyboard shortcuts☆10Jun 23, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Loop invariant generation with LLMs☆35Mar 6, 2025Updated last year
- Akka.NET cluster management, bootstrapping, and more.☆30Updated this week
- FPGA Low latency 10GBASE-R PCS☆13May 23, 2023Updated 3 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years ago
- Fish bot for the MMORPG World of Warcraft☆10Aug 3, 2018Updated 7 years ago
- One Instruction Set Computer☆12Aug 18, 2017Updated 8 years ago
- Say hello to ElixirRump an Elixir Microkernel powered by Rumprun unikernel☆15Aug 18, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Example code to illustrate the authoring of NuGet packages☆14Jan 5, 2016Updated 10 years ago
- Microsoft Orleans enhancement for dynamic grain activation balancing across a cluster☆26Jul 9, 2023Updated 3 years ago
- Persistence support for NServiceBus using NHibernate☆12Updated this week
- Get started with Coyote with these simple introductory sample projects.☆52Mar 17, 2022Updated 4 years ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- Sample application; Running Asp.NET Core application as a Windows service☆15Jun 28, 2016Updated 10 years ago
- Create Stripe customer cohorts for a useful business overview☆15Apr 9, 2023Updated 3 years ago
- An MMORPG proof of concept for Hunter College Capstone - Spring 2015.☆12Mar 16, 2018Updated 8 years ago
- Zen is a constraint solving library for .NET☆148Jan 8, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Samples for Azure Functions (WebJobs.Script)☆19Feb 9, 2021Updated 5 years ago
- Intel DPDK support☆17Aug 7, 2014Updated 11 years ago
- A more realistic reload system for GTA V☆10Dec 28, 2020Updated 5 years ago
- LSM tree implementation based on standard B-Tree☆31Dec 15, 2022Updated 3 years ago
- Real-time Indoor Positioning System☆17Sep 21, 2015Updated 10 years ago
- (Distributed) Domain Driven Design, with CQRS & ES, on top of Akka.☆10Nov 6, 2022Updated 3 years ago
- Showcasing what can be done with Bastion☆26Nov 24, 2021Updated 4 years ago