jkcso/Multi-Paxos jkcso/Multi-Paxos

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Elixir
  • License
    GNU General Publi...
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jkcso/Multi-Paxos
github

jkcso

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An experimental approach to the iconic and fault-taulerant distributed algorithm "Paxos", as described in the scientific paper "Paxos Made Moderately Complex" included in this repo under the name MultiPaxos.pdf.

More Repositories

1

Intel-One

Command line tool for passive reconnaissance, able to gather and link public information to a target domain, company or individual. It can make intelligence gathering faster and more effective by drastically reducing manual user interaction. This is achieved through the engineering of a highly customisable single input to multiple output solution. Tool conceived and developed in my free time as a result of my genuine interest in penetration testing.
Python
29
star
2

Distributed-Tradeoffs

A practical evaluation of the iconic distributed algorithms discussed in Christian Cachin's book "Introduction to Reliable and Secure Distributed Programming". Each repo's system incrementally improves its predecessor by adding further functionality. More info regarding the specifics of each system can be found in README.md.
Elixir
6
star
3

Robotics

This repo explores mobile robotics including Robot Motion, Sensing, Probabilistic Movement, Monte Carlo and Advanced Sonar Sensing Localisation and finally Simultaneous Localisation and Mapping. Implemented as part of coursework in Imperial College London Robotics class and it was definitely one of the projects I have enjoyed the most because of its practical and experimental approach.
C++
2
star
4

Decentralised-Governance-Attacks

SAADG = Simulating Attacks Against Decentralised Governance
Python
1
star
5

WACC-Compiler

A compiler for the WACC programming language which features all of the common language constructs you would expect from a modern language such as variables, expressions, conditional branching and looping.
Java
1
star
6

Pint-OperatingSystem

An operating system for the 80x86 architecture. Supports kernel threads, loading and running user programs and a file system but implements these features in a simpler way compared to the popular operating systems currently in operation such as Linux, Mac OSX and Windows.
C
1
star
7

SQL-Tutorial

A SQL tutorial created by me that teaches step by step every aspect of the most famous database programming language. Reader is first introduced to the basics and we then dive into more advanced aspects of the language.
1
star