I am working on an implementation of Raft and that's a gold mine of issues to look for. It's also relieving to see testing tools for DSs coming up.

DEMi is written very clearly, and it's a pleasure to read the code: https://github.com/NetSys/demi . Definitely challenges the research "spaghetti code" stereotype.

Really cool. :-)