Alternatives and similar repositories for paxos_vs_raft:

Users that are interested in paxos_vs_raft are comparing it to the libraries listed below

• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• seddonm1 / sqlite-bench
  Code to accompany blog post https://reorchestrate.com/posts/sqlite-transactions
  ☆66Updated 8 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆132Updated 11 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated 10 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• stoix-dev / stoix-cloud-saver
  ☆82Updated 4 months ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated 8 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• bmtwl / exerciseminimilism
  A small, single html file and browser local storage solution for tracking a fixed, rotating set of daily exercises from one week to the n…
  ☆112Updated 2 months ago
• dmytrobaida / recursion-viewer
  Website and VS Code extension for visualizing recursive functions. Helps to debug and understand how your recursive algorithm works
  ☆35Updated last year
• chrispsn / mesh-spreadsheet
  A data and code editor that feels like a spreadsheet.
  ☆156Updated 9 months ago
• c100k / libmodulor
  An opinionated TypeScript library to create business oriented applications.
  ☆63Updated this week
• codr7 / eli
  Embedded Lisp Interpreter
  ☆36Updated this week
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated 2 months ago
• tcsenpai / qrare
  ☆35Updated 3 weeks ago
• dyrector-io / awesome-infrastructure-questions
  A curated this list of briefing questions that need to be cleared to lay out a game plan to work on a client's infrastructure, migrate ap…
  ☆77Updated 2 years ago
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆125Updated 2 months ago
• kwakubiney / safehaven
  Proof of concept for a VPN over UDP
  ☆117Updated 2 weeks ago
• splitgraph / seafowl-gcsfuse
  Scale to zero Seafowl hosting with Cloud Run
  ☆38Updated last year
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated 9 months ago
• tearflake / flake-ui
  fractal-structure inspired, parent-children orbiting, zooming-elements based graph visualization user interface
  ☆127Updated 3 weeks ago
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆86Updated this week
• WebSheets / websheets-engine
  A library for parsing and executing Excel-style formulas
  ☆58Updated 2 years ago
• maurobaraldi / terraform-workspaces-aws-multi-account
  Building and managing AWs multi account architecture with Terraform workspaces.
  ☆26Updated last month
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆48Updated 8 months ago
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated 11 months ago
• dunyakirkali / letterpress
  Gutenberg the 💩 out of it!
  ☆59Updated 3 weeks ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆69Updated 2 months ago
• MartinGeisse / grumpyrest
  Java REST framework without annotations / DI / reactive.
  ☆95Updated 6 months ago
• tide-foundation / tidecloak-gettingstarted
  TideCloak lets your users hold their own digital authority—no central control, no blind trust.
  ☆62Updated last month