Dicklesworthstone / paxos_vs_raft
☆11Updated last year
Alternatives and similar repositories for paxos_vs_raft:
Users that are interested in paxos_vs_raft are comparing it to the libraries listed below
- PostgreSQL Prolog language handler☆131Updated 10 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- TideCloak lets your users hold their own digital authority—no central control, no blind trust.☆62Updated 2 weeks ago
- Optimum graph creation and distribution for underground networks.☆33Updated 7 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- ☆82Updated 3 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Code to accompany blog post https://reorchestrate.com/posts/sqlite-transactions☆66Updated 7 months ago
- A small language that compiles to WebAssembly Text format☆75Updated 9 months ago
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆85Updated this week
- Mini elm-inspired utilities for Ocaml CLI applications☆74Updated 3 months ago
- Zig library for HyperLogLog estimation☆89Updated 7 months ago
- 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 last month
- ☆50Updated 8 months ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆119Updated this week
- a file transfer service utilizing quic☆64Updated last month
- A decentralized social protocol based on git☆130Updated last year
- ☆16Updated last year
- ☆108Updated 6 months ago
- CLI based packet reader in Python.☆101Updated 5 months ago
- ☆35Updated 6 months ago
- Simple inbound/outbound packet sniffer☆31Updated 4 months ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 10 months ago
- Website and VS Code extension for visualizing recursive functions. Helps to debug and understand how your recursive algorithm works☆35Updated 11 months ago
- Multi-Array Queue program codes☆75Updated last month
- The no-framework framework for building component-based purely-functional UIs.☆125Updated 3 weeks ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated 8 months ago
- A simple to use text only blog using CloudFlare Workers and KV☆89Updated 3 months ago
- A non-trivial Vue and Supabase project allowing you to have freinds and family support you with meals, child care, and transportation.☆71Updated 5 months ago