lorin/paxos-poec

Stars
3
Rank 3,963,521 (Top 79 %)
Language Alloy
Created almost 3 years ago
Updated almost 3 years ago

lorin/paxos-poec

lorin

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

Paxos modeled in Alloy using Burckhardt's approach

resilience-engineering

Resilience engineering papers

ansible-quickref

Quick reference for Ansible variables

ansiblebook

Code samples from the book "Ansible: Up and Running"

awesome-limits

Examples of OS / system limits

systems-reading

Systems and failure reading list

cognitive-systems-engineering

devstack-vm

Boot a VM and auto-install devstack

messiness

Messiness reading list

availability-reading

High availability reading list

res-eng-short-course-notes

Notes on David Woods's Resilience Engineering short course

dns-alloy

Modeling DNS with Alloy

tla-linearizability

Reading the linearizability paper with TLA+

openstack-hackspace

Exercises for OpenStack Hackspace at USENIX LISA '13

systems-thinking

Overview of different schools of systems thinking

ansible-docker-connection

Docker connection plugin for Ansible

engineering-reading

Engineering reading list

cheat-sheets

major-incidents

A sample of major outages and incidents

epidemic-register

Beating the CAP theorem with the epidemic register

booknotes

Notes about books I've read

alb-alloy

Modeling AWS application load balancers using Alloy

tla-boat

image-guide

Guide to creating VM images

ansible-resources

User contributed modules, playbooks, scripts, and articles

mezzanine-example

raft-pluscal

vim.ftplugin

FoldingText plugin for vim bindings

ansible-mezzanine

try-except-c

Playing with setjmp/longjmp

alloy-consistency

Modeling eventual consistency with Alloy

sheetdown

Google Sheets → Markdown

tla-tortoise-hare

mezzanine-paas

Deploy Mezzanine on PaaS platforms

cook-lectures-notes

Notes on Dr. Richard Cook's lectures on the study of cognitive work

tla-prophecy

Applying Prophecy variables in TLA+ to the Herlihy & Wing paper

mysetup

Personal config stuff

big-ideas

Big ideas that have influenced me

code-reviews

Guidance on doing code reviews

eng-qua-eng

Engineering as described by engineers

shelllogger

Automatically exported from code.google.com/p/shelllogger

failure-mode-bestiary

A collection of failure modes observed in software systems

alloy-consistency-models

Reading "A Framework for Transactional Consistency Models with Atomic Visibility" with alloy

camp-devops-talk

roamjs-daily-zettles

A RoamJS plugin to show zettles each day

ipython-cumsum

clh-tla

Modeling a CLH lock in TLA+

ostack

Humane Python bindings for OpenStack

uvalde

minecraft-forge-tutorial

Simple Minecraft Forge tutorial

cheat

Generate Dash cheat sheets

md-alloy

Alloy models of aspects of Managed Delivery

zotero-bb

Script for randomly selecting a paper from a zotero collection

dotfiles

teaching-concurrency

Proof of the problem in Lamport's "Teaching Concurrency" paper

tla-tree

lorin.github.com

futex-tla

Modeling futexes in TLA+

transactions-reading-list

A reading list of interesting papers related to database transactions