If you are okay with writing Java, the dslabs framework is great as well. The penultimate project around fault tolerance can be done in Raft.