A simulator for the Paxos Protocol for consensus in distributed systems
☆21Dec 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
- An implementation of the Swirlds Hashgraph - a fair, fast, replicated, Byzantine state machine☆13May 25, 2017Updated 8 years ago
- Codespace with Airflow and the Astro CLI☆11May 23, 2023Updated 2 years ago
- 🔧 SQL for csv file in UNIX command line with awk.☆16Aug 6, 2022Updated 3 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- 实验室找工作交流☆10Oct 16, 2015Updated 10 years ago
- Starter Template for AWS CloudFormation Playbooks☆11May 16, 2018Updated 7 years ago
- Configure an LDAPS Endpoint for Simple AD☆14Aug 29, 2017Updated 8 years ago
- Stop Atom from driving you batshit crazy.☆10May 3, 2018Updated 7 years ago
- Query Expansion using word2vec☆11Jul 18, 2019Updated 6 years ago
- ☆11Oct 30, 2020Updated 5 years ago
- Python Script For Packet Sniffing☆11Aug 19, 2020Updated 5 years ago
- website source for Reactive Design Patterns☆12Oct 16, 2022Updated 3 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week
- Deprecated. Use Giter8 template instead.☆11Feb 2, 2018Updated 8 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
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- Base hadoop/spark/bigdata image with advanced config loading scripts.☆11Nov 3, 2020Updated 5 years ago
- ☆10Jan 4, 2019Updated 7 years ago
- Proxy to run security checks against packages from npm☆12Sep 4, 2016Updated 9 years ago
- Comparing HATEOAS implementations with Jersey, Spring and VRaptor☆19Oct 17, 2014Updated 11 years ago
- HLL Algorithm and Web Scraping sample☆10Sep 29, 2015Updated 10 years ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆11Mar 5, 2018Updated 8 years ago
- Sprint Planning / Scrum Poker online tool (Akka/Socko Websockets)☆19Dec 22, 2015Updated 10 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
- Archival Udash Developer's Guide repo. Now available in https://github.com/UdashFramework/udash-core☆11Apr 1, 2019Updated 6 years ago
- Converting cards built with static HTML & Tachyons into React components☆11Feb 8, 2017Updated 9 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- Scala port of the word2vec toolkit.☆11Aug 15, 2016Updated 9 years ago
- ☆13Jul 17, 2017Updated 8 years ago
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 3 months ago
- Stahlfaust is an AI player for the standard Gomoku game. It uses alpha-beta search, threat tree dbsearch and defensive search to provide …☆11Nov 28, 2015Updated 10 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated 10 months ago
- Sharing work on resumption monad☆12Sep 18, 2012Updated 13 years ago
- Ansible automation to create highly-available Docker Swarm clusters on AWS ecosystem (via AWS CloudFormation).☆13Dec 14, 2016Updated 9 years ago
- Hands-On Scala Programming [Video], published by Packt☆13Oct 31, 2022Updated 3 years ago
- Some simple worksheets for walking through some basic Scala principals☆12Jan 9, 2014Updated 12 years ago
- Repository explores Core Concepts in Software Testing☆14Dec 23, 2022Updated 3 years ago