fibril (cargo): A library for implementing distributed systems with commmunicating fibers.
Keywords: actor|simulation|paxos|raft|model-checking