Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
☆22Apr 8, 2026Updated 4 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☆21Feb 11, 2026Updated 6 months ago
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated last week
- Lz4.Net is a c# wrapper using the native dll (x86/x64)☆12Apr 3, 2026Updated 4 months 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.
- 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 last month
- 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 6 months ago
- Visual Studio extension that helps you use keyboard shortcuts☆10Jun 23, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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.☆31Jul 23, 2026Updated 3 weeks ago
- 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 8 years ago
- One Instruction Set Computer☆12Aug 18, 2017Updated 9 years ago
- Say hello to ElixirRump an Elixir Microkernel powered by Rumprun unikernel☆15Aug 18, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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☆11Updated 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Samples for Azure Functions (WebJobs.Script)☆19Feb 9, 2021Updated 5 years ago
- Intel DPDK support☆17Aug 7, 2014Updated 12 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