Simplified Formal Specification of Fast Paxos with TLA+ (Click here)

A simplified TLA+ specification of the Fast Paxos protocol by Leslie Lamport, a consensus algorithm for distributed systems.

TLA+ is a high-level language for modeling programs and systems, especially concurrent and distributed ones, using simple mathematics.

Simple C++ Multithreading Library (Click here)

I have an interest in parallel computing, and decided to make my own simple C++ multi-threading library to learn more about it.