drewhannay / paxosView external linksLinks
A simulator for the Paxos Protocol for consensus in distributed systems
☆20Dec 19, 2012Updated 13 years ago
Alternatives and similar repositories for paxos
Users that are interested in paxos are comparing it to the libraries listed below
Sorting:
- A data visualization that lets you explore crime trends in Chicago's 50 wards. Built using open crime report data from the Chicago Police…☆35Jun 13, 2014Updated 11 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Codespace with Airflow and the Astro CLI☆11May 23, 2023Updated 2 years ago
- website source for Reactive Design Patterns☆12Oct 16, 2022Updated 3 years ago
- Bringing up Docker Compose environments for system, integration and performance testing, with support for ScalaTest and Gatling☆11Jul 29, 2021Updated 4 years ago
- hadoop training examples for aura.cn☆17Jan 18, 2019Updated 7 years ago
- Maven plugin that generates the boiler-plate Java code for a Typesafe Config properties file using tscfg.☆10Aug 15, 2023Updated 2 years ago
- Query Expansion using word2vec☆11Jul 18, 2019Updated 6 years ago
- Python Script For Packet Sniffing☆11Aug 19, 2020Updated 5 years ago
- Proxy to run security checks against packages from npm☆12Sep 4, 2016Updated 9 years ago
- 实验室找工作交流☆10Oct 16, 2015Updated 10 years ago
- Deprecated. Use Giter8 template instead.☆11Feb 2, 2018Updated 8 years ago
- Archival Udash Developer's Guide repo. Now available in https://github.com/UdashFramework/udash-core☆11Apr 1, 2019Updated 6 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 1, 2026Updated 2 weeks ago
- Scala solutions for hackerrank☆11Nov 20, 2016Updated 9 years ago
- Pose Estimation Errors, the Ultimate Diagnosis☆10Apr 22, 2021Updated 4 years ago
- Comparing HATEOAS implementations with Jersey, Spring and VRaptor☆19Oct 17, 2014Updated 11 years ago
- Converting cards built with static HTML & Tachyons into React components☆11Feb 8, 2017Updated 9 years ago
- Stop Atom from driving you batshit crazy.☆10May 3, 2018Updated 7 years ago
- HLL Algorithm and Web Scraping sample☆10Sep 29, 2015Updated 10 years ago
- Base hadoop/spark/bigdata image with advanced config loading scripts.☆11Nov 3, 2020Updated 5 years ago
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆15Feb 6, 2021Updated 5 years ago
- ☆11Oct 30, 2020Updated 5 years ago
- ☆12Feb 7, 2013Updated 13 years ago
- ☆10Jan 4, 2019Updated 7 years ago
- Starter Template for AWS CloudFormation Playbooks☆11May 16, 2018Updated 7 years ago
- Scala port of the word2vec toolkit.☆11Aug 15, 2016Updated 9 years ago
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Kafka support for Azure Schema Registry.☆17Jun 6, 2025Updated 8 months ago
- ☆12Mar 31, 2021Updated 4 years ago
- Network reachability functions for client side Go network code☆12May 15, 2016Updated 9 years ago
- An AWS Lambda package including two functions to dynamically maintain a security partition around a group of AWS resources which originat…☆12Nov 16, 2018Updated 7 years ago
- SublimeLinter plugin for Dockerfile, using dockerfilelint.☆15Mar 17, 2020Updated 5 years ago
- This ist the repository for the term project Speech Recognition using Deep Neural Networks for the course ELEC-E5510-Speech Recognition☆12Dec 8, 2015Updated 10 years ago
- Conway's Game of Life implemented in Scala.js☆10Mar 30, 2018Updated 7 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated 11 months ago
- Repository explores Core Concepts in Software Testing☆14Dec 23, 2022Updated 3 years ago