Dicklesworthstone / paxos_vs_raftLinks
☆11Updated 2 years ago
Alternatives and similar repositories for paxos_vs_raft
Users that are interested in paxos_vs_raft are comparing it to the libraries listed below
Sorting:
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- Documentation and code for Hack the MontyHome device for extended applications.☆233Updated 5 months ago
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 10 months ago
- PostgreSQL Prolog language handler☆135Updated last year
- Optimally allocate poker chips using constrained, nonlinear optimization☆174Updated 11 months ago
- ☆52Updated last year
- Text Adventure game in SWI Prolog.☆102Updated 2 years ago
- ☆82Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated last year
- A collaborative UML editor; build with etherpad and plantuml☆172Updated last year
- A data and code editor that feels like a spreadsheet.☆183Updated last year
- UML diagram for the DDD example—a cargo shipping system—from Eric Evans' book☆174Updated 3 months ago
- Make Project Oberon Pretty Again☆198Updated last year
- A gadget that displays the latest HackerNews article, and notifies you of changes to your karma☆79Updated 2 years ago
- Sheet music management app powered by Airsequel and Elm Land☆109Updated 5 months ago
- DD Poker Source Code☆203Updated this week
- Make Inkscape a professional Cloud Visualization Studio for Cloud Architects☆343Updated 6 months ago
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆312Updated last month
- A ready-to-use component for spreadsheets in the browser☆288Updated 4 years ago
- Just a detailed in-depth, and comprehensive explanation of how computers operate internally, focusing on RAM and CPU aspects, respectivel…☆337Updated last year
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆175Updated 9 months ago
- Command Jobs uses AI to help software engineers find the best jobs☆167Updated 2 months ago
- Transductive regular expressions☆252Updated 2 months ago
- Software for knitting☆134Updated 2 weeks ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 8 months ago
- 🔥 Ultra-fast in-memory static file server for SPAs and static content☆240Updated last week
- Adventures with rotary phones and asterisk☆211Updated last year
- Non-presentation components of websheets☆39Updated 2 years ago
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆94Updated 2 weeks ago