Discover Cottand/multi-paxos Open Source project

Stars
1
Language
Elixir
Created almost 4 years ago
Updated almost 2 years ago

Cottand

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

Implementation of Multi-Paxos, a consensus algorithm, following the paper "Paxos Made Moderately Complex" by Robbert van Renesse and Deniz Altınbüken.

leng

⚡ fast dns server, built to block advertisements and malware servers

selfhosted

My home-lab setup, a cluster of 7 servers running 50-70 containers

HCL

Confis

A framework for specifying and querying legal contracts

TeX

lemmy-on-nomad-examples

Nomad job files for running Lemmy

HCL

markov-lock-simulation

Simulation of a M/M/1/k State dependent Markovian Queue

Jupyter Notebook

serialization-js-1.4

Kotlin

Cottand

KEEP213-transpiler

A simple transpiler from Kotlin (as suggested in KEEP 213) to vanilla Kotlin (WIP)

ANTLR

kotlin-js-portfolio

My personal portfolio

Kotlin

KImage-recognition

Experiment where I build a CNN from scratch, mainly as a learning process to fundamentally understand the math behind neural nets (WIP!)

Kotlin

hash2slash

Tiny Nix utility to write nix shell scripts for `//` languages

Nix

SmartContractsWebDev

1st year website project

HTML

WACC

Toy compiler for a toy language with two backends (ARM and JVM) implemented in Kotlin

Kotlin

haskellTemp

Pet haskell directory where I can easily try things out. Also a template to set up a Stack environment that works well with IDEA

Haskell

refereneceWacc4jvm

JVM API for the reference compiler and emulator for Imperial College's reference WACC compiler.

Kotlin

checkm8-public

Our solution the Imperial Colellege Computing dept. first year end of year project, an ARM emulator and assembler, along with its extension, an autonomous chess player powered by computer vision and AlphaZero

Cottand/multi-paxos

Cottand

Reviews

Repository Details

More Repositories