P#: Safe asynchronous event-driven .NET programming
github.com