Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
☆22Oct 25, 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 9 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- Streaming safe+unsafe x86/64 LZ4 compression portable class library in C#☆17Sep 5, 2014Updated 12 years ago
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated 2 months ago
- An experimental .NET framework to facilitate using distributed computing patterns within a monolithic application.☆19Oct 19, 2022Updated 4 years 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.
- A fork of https://difflib.codeplex.com/☆17Sep 30, 2015Updated 11 years ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- .NET implementation of modified QuadTree, perform faster range searches from very large number of multi-dimensional coordinates in the po…☆40Jul 14, 2024Updated 2 years ago
- Lz4.Net is a c# wrapper using the native dll (x86/x64)☆12Apr 3, 2026Updated 7 months ago
- The .NET library to detect OS and process environment☆22Oct 20, 2026Updated 2 weeks ago
- Downloads .NET project from Gist, GitHub, Git, or the web and runs it in a container.☆18Jul 11, 2026Updated 3 months ago
- Notes about future events and planning☆10Aug 26, 2014Updated 12 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
- 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.
- System.Threading.RateLimiting implementation backed by Orleans☆48Jul 1, 2022Updated 4 years ago
- Some sample unikernels that run on ESP32 devices.☆12Jun 21, 2018Updated 8 years ago
- Create zero allocation capturing struct lambdas!☆16Jan 17, 2024Updated 2 years ago
- Probably the n'th incarnation of a #WindowsAzure uploader, but I needed one.☆14Jul 10, 2017Updated 9 years ago
- Tiny .NET library implementing a free monad-like pattern with C# async/await.☆22Dec 12, 2021Updated 4 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Dec 1, 2016Updated 9 years ago
- SuperluminalPerf is a small .NET managed wrapper around the Superluminal PerformanceAPI.☆47Mar 17, 2024Updated 2 years ago
- Reed-Solomon Erasure Coding in C#/.NET☆37Jul 7, 2025Updated last year
- Loop invariant generation with LLMs☆35Mar 6, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Different XSLT templates for Specflow report generator☆11Nov 9, 2013Updated 12 years ago
- A tool to visualize the activity of the .NET garbage collector.☆194May 12, 2026Updated 5 months ago
- Microsoft Orleans enhancement for dynamic grain activation balancing across a cluster☆26Jul 9, 2023Updated 3 years ago
- Port of Snapper library on Orleans☆25Feb 15, 2023Updated 3 years ago
- DatadogLogs lets you send logs to Datadog based on LogStash events.☆13Aug 17, 2026Updated 2 months ago
- High-performance network packet decoding and packet decoder source generator☆42Jan 24, 2025Updated last year
- Get started with Coyote with these simple introductory sample projects.☆53Mar 17, 2022Updated 4 years ago
- Akka.NET cluster management, bootstrapping, and more.☆30Oct 7, 2026Updated last month
- Converts OpenAPI 2.0 (f.k.a. Swagger) definitions into a representation used by AutoRest (https://github.com/Azure/autorest) code generat…☆12Jun 4, 2025Updated last year
- 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.
- 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
- (Distributed) Domain Driven Design, with CQRS & ES, on top of Akka.☆10Nov 6, 2022Updated 4 years ago
- Manage Projects☆14Updated this week
- nats.io client (with Project Bedrock)☆11Apr 11, 2021Updated 5 years ago
- ☆10May 30, 2023Updated 3 years ago
- a simple library for modeling success (Success) or failure (Exception) operations.☆10Oct 29, 2023Updated 3 years ago