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 / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 11 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆75Updated 8 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 11 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated last year
• seddonm1 / sqlite-bench
  Code to accompany blog post https://reorchestrate.com/posts/sqlite-transactions
  ☆67Updated 6 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 9 months ago
• LovetheFrogs / OptiGraph
  Optimum graph creation and distribution for underground networks.
  ☆33Updated 6 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆63Updated 2 weeks ago
• khiner / CrosswordFiller
  One of the very first programs I ever made - a program to find valid english crossword fills given a grid pattern using beam search. I fo…
  ☆50Updated 8 months ago
• konigsoftware / konig-kontext
  A globally shared, request scoped, context for JVM based gRPC microservices
  ☆43Updated 5 months ago
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆125Updated last year
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆58Updated 7 months ago
• splitgraph / seafowl-gcsfuse
  Scale to zero Seafowl hosting with Cloud Run
  ☆38Updated last year
• stoix-dev / stoix-cloud-saver
  ☆81Updated 2 months ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated 6 months ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated 2 weeks 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…
  ☆110Updated 2 weeks ago
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆84Updated last week
• dmytrobaida / recursion-viewer
  Website and VS Code extension for visualizing recursive functions. Helps to debug and understand how your recursive algorithm works
  ☆35Updated 10 months ago
• jcbhmr / awesome-webassembly-runtimes
  😎 A curated list of WebAssembly runtimes
  ☆55Updated 2 months ago
• tide-foundation / tidecloak-gettingstarted
  TideCloak lets your users hold their own digital authority—no central control, no blind trust.
  ☆61Updated 3 weeks ago
• 8dcc / bin-graph
  Visualize binary files
  ☆116Updated 2 weeks ago
• tcsenpai / qrare
  ☆35Updated 5 months ago
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆72Updated 2 months ago
• Dicklesworthstone / grassmann_article
  ☆50Updated 7 months ago
• baudaux / exa-kernel
  EXA Kernel
  ☆61Updated this week
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆57Updated 7 months ago
• vizdom-dev / vizdom
  A TypeScript library for Vizdom
  ☆156Updated last month
• thegoodduck / NetSour
  CLI based packet reader in Python.
  ☆101Updated 4 months ago
• susam / fxyt
  Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands
  ☆118Updated 4 months ago