Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
☆22Apr 8, 2026Updated 6 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.☆12Feb 4, 2021Updated 5 years ago
- Streaming safe+unsafe x86/64 LZ4 compression portable class library in C#☆17Sep 5, 2014Updated 12 years ago
- Library to convert natural language utterance into a structured domain specific language☆21Feb 11, 2026Updated 8 months ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- 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.
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated 2 months ago
- A fork of https://difflib.codeplex.com/☆17Sep 30, 2015Updated 11 years ago
- Lz4.Net is a c# wrapper using the native dll (x86/x64)☆12Apr 3, 2026Updated 6 months ago
- State machine and actor libraries for TypeScript/JavaScript.☆12Jul 24, 2019Updated 7 years ago
- .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
- System.Threading.RateLimiting implementation backed by Orleans☆48Jul 1, 2022Updated 4 years ago
- Probably the n'th incarnation of a #WindowsAzure uploader, but I needed one.☆14Jul 10, 2017Updated 9 years ago
- The .NET library to detect OS and process environment☆22Oct 7, 2026Updated last week
- 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
- 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.
- 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 8 months ago
- Visual Studio extension that helps you use keyboard shortcuts☆10Jun 23, 2017Updated 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
- Some sample unikernels that run on ESP32 devices.☆12Jun 21, 2018Updated 8 years ago
- Loop invariant generation with LLMs☆35Mar 6, 2025Updated last year
- Akka.NET cluster management, bootstrapping, and more.☆31Oct 7, 2026Updated last week
- SuperluminalPerf is a small .NET managed wrapper around the Superluminal PerformanceAPI.☆46Mar 17, 2024Updated 2 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.
- FPGA Low latency 10GBASE-R PCS☆13May 23, 2023Updated 3 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Dec 1, 2016Updated 9 years ago
- Create zero allocation capturing struct lambdas!☆16Jan 17, 2024Updated 2 years ago
- Emulated Amazon Web Services (AWS) Simple Storage Service (S3) server-side interface.☆55Oct 3, 2026Updated 2 weeks ago
- Fish bot for the MMORPG World of Warcraft☆10Aug 3, 2018Updated 8 years ago
- High-performance network packet decoding and packet decoder source generator☆42Jan 24, 2025Updated last year
- 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
- Example code to illustrate the authoring of NuGet packages☆14Jan 5, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Microsoft Orleans enhancement for dynamic grain activation balancing across a cluster☆26Jul 9, 2023Updated 3 years ago
- Persistence support for NServiceBus using NHibernate☆11Oct 9, 2026Updated last week
- Get started with Coyote with these simple introductory sample projects.☆53Mar 17, 2022Updated 4 years ago
- Sample application; Running Asp.NET Core application as a Windows service☆15Jun 28, 2016Updated 10 years ago
- An MMORPG proof of concept for Hunter College Capstone - Spring 2015.☆12Mar 16, 2018Updated 8 years ago
- Samples for Azure Functions (WebJobs.Script)☆19Feb 9, 2021Updated 5 years ago
- Intel DPDK support☆17Aug 7, 2014Updated 12 years ago