Dicklesworthstone / paxos_vs_raft

Related projects ⓘ

Alternatives and complementary repositories for paxos_vs_raft

• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 10 months ago
• seddonm1 / sqlite-bench
  Code to accompany blog post https://reorchestrate.com/posts/sqlite-transactions
  ☆66Updated 4 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated 6 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• LovetheFrogs / OptiGraph
  Optimum graph creation and distribution for underground networks.
  ☆33Updated 4 months ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated this week
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆130Updated 7 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• thegoodduck / NetSour
  CLI based packet reader in Python.
  ☆100Updated 2 months ago
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated 7 months ago
• jonfraser / simpletext
  A simple to use text only blog using CloudFlare Workers and KV
  ☆85Updated 3 weeks ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆58Updated 5 months ago
• archiewood / gosql
  A SQL query engine in Go
  ☆150Updated last month
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆86Updated 4 months ago
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆126Updated last year
• 8dcc / bin-graph
  Visualize binary files
  ☆111Updated last month
• social4git / social4git
  A decentralized social protocol based on git
  ☆130Updated last year
• tcsenpai / qrare
  ☆35Updated 4 months ago
• chrispsn / mesh-spreadsheet
  A data and code editor that feels like a spreadsheet.
  ☆153Updated 5 months ago
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆72Updated last week
• notebox / nbfm
  File manager + CRDT Note Editor
  ☆209Updated 6 months ago
• sirgallo / quicfiletransfer
  a file transfer service utilizing quic
  ☆60Updated 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 8 months ago
• zbycz / github-events-viewer
  Personal events on GitHub. via api.github.com/users/{name}/events
  ☆119Updated last month
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆48Updated 4 months ago
• dougdonohoe / ddpoker
  DD Poker Source Code
  ☆191Updated 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 6 months ago
• baalimago / wd-41
  Web-Development 41, a static web server with live-reload
  ☆138Updated 3 weeks ago
• vizdom-dev / vizdom
  A TypeScript library for Vizdom
  ☆149Updated last month
• MartinGeisse / grumpyrest
  Java REST framework without annotations / DI / reactive.
  ☆95Updated last month