Simulation of a state machine implemented using Paxos
☆16Jan 7, 2018Updated 8 years ago
Alternatives and similar repositories for paxos-playground
Users that are interested in paxos-playground are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed database on Service Fabric which uses ESENT as the storage engine☆17Dec 3, 2015Updated 10 years ago
- ☆12Oct 5, 2022Updated 4 years ago
- ☆12May 11, 2025Updated last year
- A fast text search engine built for SSDs, written in C++.☆11Aug 29, 2022Updated 4 years ago
- Website for DSC 204a, Winter 2024☆10Mar 24, 2024Updated 2 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.
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆18Mar 5, 2023Updated 3 years ago
- ☆16Apr 8, 2017Updated 9 years ago
- ☆18Sep 22, 2024Updated 2 years ago
- Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.☆15Apr 21, 2021Updated 5 years ago
- Tutorials for the HTCondor Python Bindings☆17Apr 8, 2026Updated 6 months ago
- soft entropy estimation☆17May 29, 2026Updated 5 months ago
- ☆12Dec 16, 2022Updated 3 years ago
- Dynamo Workshop☆19Nov 7, 2025Updated 11 months ago
- Online MIPS32 Simulator Based on Spim☆78Nov 13, 2019Updated 6 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.
- Best-effort CPU-local sharded values for Go☆11Feb 19, 2023Updated 3 years ago
- ☆15Jun 5, 2026Updated 4 months ago
- ☆11Nov 29, 2020Updated 5 years ago
- Random collection of javascript utility libraries☆12Sep 28, 2026Updated last month
- web browser as a language server☆18May 5, 2021Updated 5 years ago
- An Async Hooks normalization and polyfill (Node < 8) written in TypeScript.☆10Mar 23, 2023Updated 3 years ago
- Your realtime ambient agent☆32Oct 1, 2026Updated last month
- Flexible Library of Organic Workflows and Extensible Recipes for Molecular Dynamics.☆26Updated this week
- Get the absolute file path to a bin entry of an installed dependency☆17May 4, 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.
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆28Jul 10, 2023Updated 3 years ago
- A kubectl plugin for rendering details of Network Policies.☆13Jun 13, 2019Updated 7 years ago
- OS X Setup via Babushka☆12Sep 26, 2018Updated 8 years ago
- Provides a `Project` CRD and controller for k8s to help with organising resources☆12Apr 19, 2024Updated 2 years ago
- Container Registry Synchronization made easy and fast☆12Oct 7, 2021Updated 5 years ago
- Log keys pressed on macOS. Useful for screen recordings and presentations.☆13Dec 5, 2022Updated 3 years ago
- API and Rack middleware for HTML compression with caching support.☆11Feb 10, 2010Updated 16 years ago
- Terrain Demo using Linear Quadtree with Level Differences☆13Nov 26, 2021Updated 4 years ago
- Interactive videos for the web☆12Mar 15, 2022Updated 4 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.
- Guide Mate is a Figma plugin which helps you to add condition based grids to your designs.☆15Dec 4, 2022Updated 3 years ago
- fswatch - Watch for changes in file system☆12Jun 13, 2019Updated 7 years ago
- A proof of concept for adding Remix loaders and actions in a service-worker☆12Aug 4, 2023Updated 3 years ago
- The Browser Virtual Machine☆10Mar 1, 2013Updated 13 years ago
- ☆22Nov 20, 2020Updated 5 years ago
- ☆12Apr 22, 2025Updated last year
- A profiling tool to peek and profile the memory or cpu usage of a process☆13Jan 20, 2024Updated 2 years ago